diff -r f542ad1f76c5 -r a6ee92e1f023 Plugins/PluginCodeStyleChecker.py --- a/Plugins/PluginCodeStyleChecker.py Thu Apr 16 19:58:27 2015 +0200 +++ b/Plugins/PluginCodeStyleChecker.py Fri Apr 17 18:41:41 2015 +0200 @@ -101,8 +101,12 @@ @param fn file name (string) @param msg message text (string) """ - if fx == 'style' and lang == 'Python2': - self.__serviceError(fn, msg) + if fx in ['style', 'batch_style'] and lang == 'Python2': + if fx == 'style': + self.__serviceError(fn, msg) + else: + self.__serviceError(self.tr("Python 2 batch check"), msg) + self.batchJobDone(fx, lang) def serviceErrorPy3(self, fx, lang, fn, msg): """ @@ -113,8 +117,12 @@ @param fn file name (string) @param msg message text (string) """ - if fx == 'style' and lang == 'Python3': - self.__serviceError(fn, msg) + if fx in ['style', 'batch_style'] and lang == 'Python3': + if fx == 'style': + self.__serviceError(fn, msg) + else: + self.__serviceError(self.tr("Python 3 batch check"), msg) + self.batchJobDone(fx, lang) def batchJobDone(self, fx, lang): """ @@ -123,7 +131,7 @@ @param fx service name (string) @param lang language (string) """ - if fx == 'style': + if fx in ['style', 'batch_style']: if lang in self.queuedBatches: self.queuedBatches.remove(lang) # prevent sending the signal multiple times