Show More
@@ -185,6 +185,10 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
185 | 185 | self.paste(QtGui.QClipboard.Selection) |
|
186 | 186 | return True |
|
187 | 187 | |
|
188 | # Manually adjust the scrollbars *after* a resize event is dispatched. | |
|
189 | elif etype == QtCore.QEvent.Resize: | |
|
190 | QtCore.QTimer.singleShot(0, self._adjust_scrollbars) | |
|
191 | ||
|
188 | 192 | # Override shortcuts for all filtered widgets. |
|
189 | 193 | elif etype == QtCore.QEvent.ShortcutOverride and \ |
|
190 | 194 | self.override_shortcuts and \ |
@@ -204,12 +208,6 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
204 | 208 | # 'QWidget' interface |
|
205 | 209 | #--------------------------------------------------------------------------- |
|
206 | 210 | |
|
207 | def resizeEvent(self, event): | |
|
208 | """ Adjust the scrollbars manually after a resize event. | |
|
209 | """ | |
|
210 | super(ConsoleWidget, self).resizeEvent(event) | |
|
211 | self._adjust_scrollbars() | |
|
212 | ||
|
213 | 211 | def sizeHint(self): |
|
214 | 212 | """ Reimplemented to suggest a size that is 80 characters wide and |
|
215 | 213 | 25 lines high. |
General Comments 0
You need to be logged in to leave comments.
Login now