src/eric7/JediInterface/JediServer.py

branch
eric7-maintenance
changeset 10941
07cad049002c
parent 10873
4e8e63df7893
parent 10928
46651e194fbe
child 11019
27cd57e98461
equal deleted inserted replaced
10893:ea32acb9764c 10941:07cad049002c
63 @param project reference to the project object 63 @param project reference to the project object
64 @type Project 64 @type Project
65 @param ui reference to the user interface 65 @param ui reference to the user interface
66 @type UserInterface 66 @type UserInterface
67 """ 67 """
68 super().__init__("JediServer", multiplex=True, parent=ui) 68 super().__init__(
69 name="JediServer",
70 interface=Preferences.getDebugger("NetworkInterface"),
71 multiplex=True,
72 parent=ui,
73 )
69 74
70 self.__ui = ui 75 self.__ui = ui
71 self.__vm = viewManager 76 self.__vm = viewManager
72 self.__ericProject = project 77 self.__ericProject = project
73 78

eric ide

mercurial