##// END OF EJS Templates
Minor bug fix to ConsoleWidget scrollbar management.
epatters -
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