src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 9517
d73c3a1e432b
parent 9482
a2bc06a54d9d
child 9549
67295777d9fe
child 9576
be9f8e7e42e0
--- a/src/eric7/JediInterface/JediServer.py	Wed Nov 16 18:11:52 2022 +0100
+++ b/src/eric7/JediInterface/JediServer.py	Thu Nov 17 18:11:42 2022 +0100
@@ -141,7 +141,7 @@
             and self.__ericProject.getProjectLanguage() == language
         ):
             filename = editor.getFileName()
-            if self.__ericProject.isProjectSource(filename):
+            if self.__ericProject.isProjectCategory(filename, "SOURCES"):
                 idString = JediServer.IdProject
 
         if not idString and language in self.__editorLanguageMapping:

eric ide

mercurial