--- a/src/eric7/Plugins/PluginSyntaxChecker.py	Wed Feb 14 10:24:23 2024 +0100
+++ b/src/eric7/Plugins/PluginSyntaxChecker.py	Thu Feb 15 13:59:02 2024 +0100
@@ -408,6 +408,7 @@
         if menuName == "Checks":
             if self.__editorAct not in menu.actions():
                 menu.addAction(self.__editorAct)
+            # TODO: disable the action for eric-ide server files
             self.__editorAct.setEnabled(
                 editor.getLanguage() in self.syntaxCheckService.getLanguages()
             )