Fixed font changes not being propagated to CallTipWidget.

IPython/frontend/qt/console/call_tip_widget.py

@@ -105,6 +105,11 b' class CallTipWidget(QtGui.QLabel):'
 
         super(CallTipWidget, self).paintEvent(event)
 
+    def setFont(self, font):
+        """ Reimplemented to allow use of this method as a slot.
+        """
+        super(CallTipWidget, self).setFont(font)
+
     def showEvent(self, event):
         """ Reimplemented to connect signal handlers and event filter.
         """

IPython/frontend/qt/console/console_widget.py

@@ -39,6 +39,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
     """
     __metaclass__ = MetaQObjectHasTraits
 
+    #------ Configuration ------------------------------------------------------
+
     # Whether to process ANSI escape codes.
     ansi_codes = Bool(True, config=True)
 
@@ -72,6 +74,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
     # priority (when it has focus) over, e.g., window-level menu shortcuts.
     override_shortcuts = Bool(False)
 
+    #------ Signals ------------------------------------------------------------
+
     # Signals that indicate ConsoleWidget state.
     copy_available = QtCore.pyqtSignal(bool)
     redo_available = QtCore.pyqtSignal(bool)
@@ -81,7 +85,11 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
     # specified as 'custom'.
     custom_page_requested = QtCore.pyqtSignal(object)
 
-    # Protected class variables.
+    # Signal emitted when the font is changed.
+    font_changed = QtCore.pyqtSignal(QtGui.QFont)
+
+    #------ Protected class variables ------------------------------------------
+
     _ctrl_down_remap = { QtCore.Qt.Key_B : QtCore.Qt.Key_Left,
                          QtCore.Qt.Key_F : QtCore.Qt.Key_Right,
                          QtCore.Qt.Key_A : QtCore.Qt.Key_Home,
@@ -89,6 +97,7 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
                          QtCore.Qt.Key_P : QtCore.Qt.Key_Up,
                          QtCore.Qt.Key_N : QtCore.Qt.Key_Down,
                          QtCore.Qt.Key_D : QtCore.Qt.Key_Delete, }
+
     _shortcuts = set(_ctrl_down_remap.keys() +
                      [ QtCore.Qt.Key_C, QtCore.Qt.Key_G, QtCore.Qt.Key_O,
                        QtCore.Qt.Key_V ])
@@ -432,6 +441,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
         if self._page_control:
             self._page_control.document().setDefaultFont(font)
 
+        self.font_changed.emit(font)
+
     font = property(_get_font, _set_font)
 
     def paste(self, mode=QtGui.QClipboard.Clipboard):

IPython/frontend/qt/console/frontend_widget.py

@@ -123,6 +123,10 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):'
         self.tab_width = 4
         self._set_continuation_prompt('... ')
 
+        # Configure the CallTipWidget.
+        self._call_tip_widget.setFont(self.font)
+        self.font_changed.connect(self._call_tip_widget.setFont)
+
         # Configure actions.
         action = self._copy_raw_action
         key = QtCore.Qt.CTRL | QtCore.Qt.SHIFT | QtCore.Qt.Key_C