##// 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 self._completion_widget.setFont(font)
348 self._completion_widget.setFont(font)
349 self._control.document().setDefaultFont(font)
349 self._control.document().setDefaultFont(font)
350 if self._page_control:
351 self._page_control.document().setDefaultFont(font)
350
352
351 font = property(_get_font, _set_font)
353 font = property(_get_font, _set_font)
352
354
@@ -147,6 +147,8 b' class IPythonWidget(FrontendWidget):'
147 """
147 """
148 self.setStyleSheet(stylesheet)
148 self.setStyleSheet(stylesheet)
149 self._control.document().setDefaultStyleSheet(stylesheet)
149 self._control.document().setDefaultStyleSheet(stylesheet)
150 if self._page_control:
151 self._page_control.document().setDefaultStyleSheet(stylesheet)
150
152
151 if syntax_style is None:
153 if syntax_style is None:
152 self._highlighter.set_style_sheet(stylesheet)
154 self._highlighter.set_style_sheet(stylesheet)
General Comments 0
You need to be logged in to leave comments. Login now