Debugger/DebugUI.py

changeset 5586
0e5421d679e7
parent 5389
9b1c800daff3
child 5590
40e18a10d837
equal deleted inserted replaced
5585:dab20c39f08c 5586:0e5421d679e7
1117 if stackTrace: 1117 if stackTrace:
1118 try: 1118 try:
1119 file, line = stackTrace[0][:2] 1119 file, line = stackTrace[0][:2]
1120 source, encoding = Utilities.readEncodedFile(file) 1120 source, encoding = Utilities.readEncodedFile(file)
1121 source = source.splitlines(True) 1121 source = source.splitlines(True)
1122 if len(source) >= line and \ 1122 if len(source) >= line:
1123 "__IGNORE_EXCEPTION__" in Utilities.extractLineFlags( 1123 lineFlags = Utilities.extractLineFlags(
1124 source[line - 1]): 1124 source[line - 1].strip())
1125 res = E5MessageBox.No 1125 try:
1126 lineFlags += Utilities.extractLineFlags(
1127 source[line].strip(), flagsLine=True)
1128 except IndexError:
1129 pass
1130 if "__IGNORE_EXCEPTION__" in lineFlags:
1131 res = E5MessageBox.No
1126 except (UnicodeError, IOError): 1132 except (UnicodeError, IOError):
1127 pass 1133 pass
1128 if res != E5MessageBox.No: 1134 if res != E5MessageBox.No:
1129 self.viewmanager.setFileLine( 1135 self.viewmanager.setFileLine(
1130 stackTrace[0][0], stackTrace[0][1], True) 1136 stackTrace[0][0], stackTrace[0][1], True)

eric ide

mercurial