65 started |
65 started |
66 </dd><dt>exceptionInterrupt()</dt> |
66 </dd><dt>exceptionInterrupt()</dt> |
67 <dd> |
67 <dd> |
68 emitted after the execution was interrupted |
68 emitted after the execution was interrupted |
69 by an exception and acknowledged by the user |
69 by an exception and acknowledged by the user |
|
70 </dd><dt>executeMake()</dt> |
|
71 <dd> |
|
72 emitted if a project specific make run should be |
|
73 performed |
70 </dd><dt>resetUI()</dt> |
74 </dd><dt>resetUI()</dt> |
71 <dd> |
75 <dd> |
72 emitted to reset the UI |
76 emitted to reset the UI |
73 </dd> |
77 </dd> |
74 </dl> |
78 </dl> |