Debugger/DebugUI.py

changeset 4367
af2d7ceeb019
parent 4366
9445c7cb991f
child 4370
54dbb658f9e6
equal deleted inserted replaced
4366:9445c7cb991f 4367:af2d7ceeb019
1211 QApplication.processEvents() 1211 QApplication.processEvents()
1212 self.viewmanager.setFileLine(filename, lineNo, True) 1212 self.viewmanager.setFileLine(filename, lineNo, True)
1213 E5MessageBox.critical( 1213 E5MessageBox.critical(
1214 self.ui, Program, 1214 self.ui, Program,
1215 self.tr("""<p>The program generate the signal "{0}".<br/>""" 1215 self.tr("""<p>The program generate the signal "{0}".<br/>"""
1216 """File: <b>{2}</b>, Line: <b>{3}</b></p>""").format( 1216 """File: <b>{1}</b>, Line: <b>{2}</b></p>""").format(
1217 message, filename, lineNo)) 1217 message, filename, lineNo))
1218 1218
1219 def __clientGone(self, unplanned): 1219 def __clientGone(self, unplanned):
1220 """ 1220 """
1221 Private method to handle the disconnection of the debugger client. 1221 Private method to handle the disconnection of the debugger client.

eric ide

mercurial