##// END OF EJS Templates
Fix to ensure that the paging widget is styled appropriately.
epatters -
Show More
@@ -347,6 +347,8 b' class ConsoleWidget(QtGui.QWidget):'
347 347
348 348 self._completion_widget.setFont(font)
349 349 self._control.document().setDefaultFont(font)
350 if self._page_control:
351 self._page_control.document().setDefaultFont(font)
350 352
351 353 font = property(_get_font, _set_font)
352 354
@@ -147,6 +147,8 b' class IPythonWidget(FrontendWidget):'
147 147 """
148 148 self.setStyleSheet(stylesheet)
149 149 self._control.document().setDefaultStyleSheet(stylesheet)
150 if self._page_control:
151 self._page_control.document().setDefaultStyleSheet(stylesheet)
150 152
151 153 if syntax_style is None:
152 154 self._highlighter.set_style_sheet(stylesheet)
General Comments 0
You need to be logged in to leave comments. Login now