From fec899c0b034581e2a6c6bf055474d9789eafd15 2010-08-17 20:55:59 From: epatters Date: 2010-08-17 20:55:59 Subject: [PATCH] Fix to ensure that the paging widget is styled appropriately. --- diff --git a/IPython/frontend/qt/console/console_widget.py b/IPython/frontend/qt/console/console_widget.py index 7399179..d2f88a8 100644 --- a/IPython/frontend/qt/console/console_widget.py +++ b/IPython/frontend/qt/console/console_widget.py @@ -347,6 +347,8 @@ class ConsoleWidget(QtGui.QWidget): self._completion_widget.setFont(font) self._control.document().setDefaultFont(font) + if self._page_control: + self._page_control.document().setDefaultFont(font) font = property(_get_font, _set_font) diff --git a/IPython/frontend/qt/console/ipython_widget.py b/IPython/frontend/qt/console/ipython_widget.py index e938fe5..61d3f72 100644 --- a/IPython/frontend/qt/console/ipython_widget.py +++ b/IPython/frontend/qt/console/ipython_widget.py @@ -147,6 +147,8 @@ class IPythonWidget(FrontendWidget): """ self.setStyleSheet(stylesheet) self._control.document().setDefaultStyleSheet(stylesheet) + if self._page_control: + self._page_control.document().setDefaultStyleSheet(stylesheet) if syntax_style is None: self._highlighter.set_style_sheet(stylesheet)