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) |