diff -r 6afc0221140a -r 300487f5f517 src/eric7/UI/UserInterface.py
--- a/src/eric7/UI/UserInterface.py Fri Feb 02 14:55:14 2024 +0100
+++ b/src/eric7/UI/UserInterface.py Mon Feb 05 11:15:47 2024 +0100
@@ -8661,3 +8661,18 @@
elif self.__layoutType == "Sidebars":
self.__activateLeftRightSidebarWidget(self.__virtualenvManagerWidget)
self.__virtualenvManagerWidget.setFocus(Qt.FocusReason.ActiveWindowFocusReason)
+
+ ############################################################
+ ## Interface to the eric-ide server interface
+ ############################################################
+
+ def isEricServerConnected(self):
+ """
+ Public method to check, if a connection to an eric-ide server has been
+ established.
+
+ @return flag indicating the interface connection state
+ @rtype bool
+ """
+ # simply delegated to the eric-ide server interface object
+ return self.__ericServerInterface.isServerConnected()
