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