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 |