src/eric7/RemoteServerInterface/EricServerEditorConfigInterface.py

branch
server
changeset 10776
ec110553c5ab
parent 10774
7f7ff7456904
child 11090
f5f5f5803935
equal deleted inserted replaced
10775:fd8b7692c03d 10776:ec110553c5ab
37 37
38 @param filename name of the file to get the editor config for 38 @param filename name of the file to get the editor config for
39 @type str 39 @type str
40 @return dictionary containing the editor config data 40 @return dictionary containing the editor config data
41 @rtype dict 41 @rtype dict
42 @exception EditorConfigError raised to indicate an issue loading the editor 42 @exception editorconfig.EditorConfigError raised to indicate an
43 config 43 issue loading the editor config
44 """ 44 """
45 loop = QEventLoop() 45 loop = QEventLoop()
46 ok = False 46 ok = False
47 config = None 47 config = None
48 48
60 if reply == "LoadEditorConfig": 60 if reply == "LoadEditorConfig":
61 ok = params["ok"] 61 ok = params["ok"]
62 config = params["config"] 62 config = params["config"]
63 loop.quit() 63 loop.quit()
64 64
65
66 if not self.__serverInterface.isServerConnected(): 65 if not self.__serverInterface.isServerConnected():
67 raise editorconfig.EditorConfigError( 66 raise editorconfig.EditorConfigError(
68 "Not connected to an 'eric-ide' server." 67 "Not connected to an 'eric-ide' server."
69 ) 68 )
70 else: 69 else:

eric ide

mercurial