Debugger/DebugUI.py

changeset 3974
01991e605ba0
parent 3691
c473d6347610
child 4021
195a471c327b
equal deleted inserted replaced
3972:efc9c803ebdc 3974:01991e605ba0
1092 """ 1092 """
1093 Private method to handle an exception of the debugged program. 1093 Private method to handle an exception of the debugged program.
1094 1094
1095 @param exceptionType type of exception raised (string) 1095 @param exceptionType type of exception raised (string)
1096 @param exceptionMessage message given by the exception (string) 1096 @param exceptionMessage message given by the exception (string)
1097 @param stackTrace list of stack entries. 1097 @param stackTrace list of stack entries (list of string)
1098 """ 1098 """
1099 self.ui.raise_() 1099 self.ui.raise_()
1100 self.ui.activateWindow() 1100 self.ui.activateWindow()
1101 QApplication.processEvents() 1101 QApplication.processEvents()
1102 if exceptionType is None: 1102 if exceptionType is None:

eric ide

mercurial