src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 9517
d73c3a1e432b
parent 9482
a2bc06a54d9d
child 9549
67295777d9fe
child 9576
be9f8e7e42e0
equal deleted inserted replaced
9516:0f023e61a9b5 9517:d73c3a1e432b
139 if ( 139 if (
140 self.__ericProject.isOpen() 140 self.__ericProject.isOpen()
141 and self.__ericProject.getProjectLanguage() == language 141 and self.__ericProject.getProjectLanguage() == language
142 ): 142 ):
143 filename = editor.getFileName() 143 filename = editor.getFileName()
144 if self.__ericProject.isProjectSource(filename): 144 if self.__ericProject.isProjectCategory(filename, "SOURCES"):
145 idString = JediServer.IdProject 145 idString = JediServer.IdProject
146 146
147 if not idString and language in self.__editorLanguageMapping: 147 if not idString and language in self.__editorLanguageMapping:
148 idString = self.__editorLanguageMapping[language] 148 idString = self.__editorLanguageMapping[language]
149 149

eric ide

mercurial