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