Debugger/DebugUI.py

branch
maintenance
changeset 6273
0daf79d65080
parent 6241
77534fdf0a80
child 6352
4bdc6503df81
diff -r 0a74c1efab70 -r 0daf79d65080 Debugger/DebugUI.py
--- a/Debugger/DebugUI.py	Mon Apr 02 12:04:56 2018 +0200
+++ b/Debugger/DebugUI.py	Tue May 01 12:03:52 2018 +0200
@@ -38,6 +38,8 @@
     @signal compileForms() emitted if changed project forms should be compiled
     @signal compileResources() emitted if changed project resources should be
         compiled
+    @signal executeMake() emitted if a project specific make run should be
+        performed
     @signal debuggingStarted(filename) emitted when a debugging session was
         started
     @signal resetUI() emitted to reset the UI
@@ -51,6 +53,7 @@
     exceptionInterrupt = pyqtSignal()
     compileForms = pyqtSignal()
     compileResources = pyqtSignal()
+    executeMake = pyqtSignal()
     debuggingStarted = pyqtSignal(str)
     appendStdout = pyqtSignal(str)
     
@@ -1540,6 +1543,8 @@
             self.compileForms.emit()
         if Preferences.getProject("AutoCompileResources"):
             self.compileResources.emit()
+        if Preferences.getProject("AutoExecuteMake"):
+            self.executeMake.emit()
         QApplication.processEvents()
         
     def __coverageScript(self):

eric ide

mercurial