src/eric7/UI/UserInterface.py

branch
eric7
changeset 11033
6b197c3389f7
parent 11032
84a66daa5e34
child 11045
72202235e0bb
equal deleted inserted replaced
11032:84a66daa5e34 11033:6b197c3389f7
3853 3853
3854 ############################################################## 3854 ##############################################################
3855 ## Remote Server menu 3855 ## Remote Server menu
3856 ############################################################## 3856 ##############################################################
3857 3857
3858 self.__menus["server"] = self.__ericServerInterface.initMenu() 3858 self.__menus["server"] = self.__ericServerInterface.initMenus()
3859 3859
3860 ############################################################## 3860 ##############################################################
3861 ## Sessions menu 3861 ## Sessions menu
3862 ############################################################## 3862 ##############################################################
3863 3863

eric ide

mercurial