Show More
@@ -185,6 +185,10 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||||
185 | self.paste(QtGui.QClipboard.Selection) |
|
185 | self.paste(QtGui.QClipboard.Selection) | |
186 | return True |
|
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 | # Override shortcuts for all filtered widgets. |
|
192 | # Override shortcuts for all filtered widgets. | |
189 | elif etype == QtCore.QEvent.ShortcutOverride and \ |
|
193 | elif etype == QtCore.QEvent.ShortcutOverride and \ | |
190 | self.override_shortcuts and \ |
|
194 | self.override_shortcuts and \ | |
@@ -204,12 +208,6 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||||
204 | # 'QWidget' interface |
|
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 | def sizeHint(self): |
|
211 | def sizeHint(self): | |
214 | """ Reimplemented to suggest a size that is 80 characters wide and |
|
212 | """ Reimplemented to suggest a size that is 80 characters wide and | |
215 | 25 lines high. |
|
213 | 25 lines high. |
General Comments 0
You need to be logged in to leave comments.
Login now