src/eric7/UI/UserInterface.py

branch
server
changeset 10546
300487f5f517
parent 10539
4274f189ff78
child 10555
08e853c0c77b
equal deleted inserted replaced
10543:6afc0221140a 10546:300487f5f517
8659 self.rToolboxDock.show() 8659 self.rToolboxDock.show()
8660 self.rToolbox.setCurrentWidget(self.__virtualenvManagerWidget) 8660 self.rToolbox.setCurrentWidget(self.__virtualenvManagerWidget)
8661 elif self.__layoutType == "Sidebars": 8661 elif self.__layoutType == "Sidebars":
8662 self.__activateLeftRightSidebarWidget(self.__virtualenvManagerWidget) 8662 self.__activateLeftRightSidebarWidget(self.__virtualenvManagerWidget)
8663 self.__virtualenvManagerWidget.setFocus(Qt.FocusReason.ActiveWindowFocusReason) 8663 self.__virtualenvManagerWidget.setFocus(Qt.FocusReason.ActiveWindowFocusReason)
8664
8665 ############################################################
8666 ## Interface to the eric-ide server interface
8667 ############################################################
8668
8669 def isEricServerConnected(self):
8670 """
8671 Public method to check, if a connection to an eric-ide server has been
8672 established.
8673
8674 @return flag indicating the interface connection state
8675 @rtype bool
8676 """
8677 # simply delegated to the eric-ide server interface object
8678 return self.__ericServerInterface.isServerConnected()

eric ide

mercurial