--- a/src/eric7/Plugins/PluginSyntaxChecker.py Sat Feb 17 11:26:15 2024 +0100 +++ b/src/eric7/Plugins/PluginSyntaxChecker.py Sat Feb 17 11:26:37 2024 +0100 @@ -408,7 +408,6 @@ 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() )