From fec899c0b034581e2a6c6bf055474d9789eafd15 2010-08-17 20:55:59
From: epatters <epatters@enthought.com>
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)