--- a/src/eric7/UI/UserInterface.py	Mon Sep 11 17:58:47 2023 +0200
+++ b/src/eric7/UI/UserInterface.py	Tue Sep 12 16:59:22 2023 +0200
@@ -573,6 +573,9 @@
         if self.irc is not None:
             self.irc.autoConnected.connect(self.__ircAutoConnected)
 
+        if self.pipWidget is not None:
+            self.preferencesChanged.connect(self.pipWidget.preferencesChanged)
+
         # create the toolbar manager object
         self.toolbarManager = EricToolBarManager(self, self)
         self.toolbarManager.setMainWindow(self)