Debugger/DebugUI.py

branch
jsonrpc
changeset 5130
27fe451262bf
parent 5124
1ba8ee313b57
child 5136
b1dde2dc14bd
equal deleted inserted replaced
5129:e4ab234cf071 5130:27fe451262bf
1077 @param exceptionMessage message given by the exception (string) 1077 @param exceptionMessage message given by the exception (string)
1078 @param stackTrace list of stack entries (list of string) 1078 @param stackTrace list of stack entries (list of string)
1079 """ 1079 """
1080 self.ui.raise_() 1080 self.ui.raise_()
1081 QApplication.processEvents() 1081 QApplication.processEvents()
1082 if exceptionType is None: 1082 if not exceptionType:
1083 E5MessageBox.critical( 1083 E5MessageBox.critical(
1084 self.ui, Program, 1084 self.ui, Program,
1085 self.tr('An unhandled exception occured.' 1085 self.tr('An unhandled exception occured.'
1086 ' See the shell window for details.')) 1086 ' See the shell window for details.'))
1087 return 1087 return

eric ide

mercurial