Plugins/PluginSyntaxChecker.py

changeset 4424
718d5ed464c1
parent 4231
0b38613388c9
child 4535
ec12db87e8c0
child 4632
ca310db386ed
equal deleted inserted replaced
4423:14f3ca3dcef6 4424:718d5ed464c1
82 'JavaScript', 'Python3', path, 82 'JavaScript', 'Python3', path,
83 'jsCheckSyntax', 83 'jsCheckSyntax',
84 lambda: [], # No options 84 lambda: [], # No options
85 lambda: ['.js'], 85 lambda: ['.js'],
86 lambda fn, problems: 86 lambda fn, problems:
87 self.syntaxCheckService.syntaxChecked.emit(fn, problems), # __IGNORE_WARNING__ 87 self.syntaxCheckService.syntaxChecked.emit(fn, problems),
88 self.syntaxCheckService.serviceErrorJavaScript) 88 self.syntaxCheckService.serviceErrorJavaScript)
89 89
90 def __initialize(self): 90 def __initialize(self):
91 """ 91 """
92 Private slot to (re)initialize the plugin. 92 Private slot to (re)initialize the plugin.

eric ide

mercurial