Plugins/PluginCodeStyleChecker.py

changeset 4221
c9fdc07753a7
parent 4219
a6ee92e1f023
child 4235
81278aff6af9
--- a/Plugins/PluginCodeStyleChecker.py	Fri Apr 17 18:57:38 2015 +0200
+++ b/Plugins/PluginCodeStyleChecker.py	Sat Apr 18 19:14:15 2015 +0200
@@ -203,6 +203,13 @@
                                                       data[lang])
                 self.batchesFinished = False
     
+    def cancelStyleBatchCheck(self):
+        """
+        Public method to cancel all batch jobs.
+        """
+        for lang in ['Python2', 'Python3']:
+            self.backgroundService.requestCancel(lang)
+    
     def __translateStyleCheck(self, fn, codeStyleCheckerStats, results):
         """
         Private slot called after perfoming a style check on one file.

eric ide

mercurial