--- a/src/eric7/QScintilla/Shell.py Mon Mar 04 11:26:52 2024 +0100 +++ b/src/eric7/QScintilla/Shell.py Mon Mar 04 11:42:39 2024 +0100 @@ -2128,7 +2128,7 @@ line = self.getCursorPosition()[0] text = self.text(line).strip() self.__showSourceAct.setEnabled( - bool(re.search(r'File: (.*?), Line: (\d+)', text)) + bool(re.search(r"File: (.*?), Line: (\d+)", text)) ) self.menu.popup(self.mapToGlobal(pos)) @@ -2653,15 +2653,17 @@ def __showSource(self): """ Private method to open an editor for an exception line. - + Note: The exception line looks like 'File: /path/of/file.py, Line: 111'. """ line = self.getCursorPosition()[0] text = self.text(line).strip() - match = re.search(r'File: (.*?), Line: (\d+)', text) + match = re.search(r"File: (.*?), Line: (\d+)", text) if match: filename = match.group(1) linenumber = int(match.group(2)) self.vm.openSourceFile(filename, lineno=linenumber) + + # # eflag: noqa = M601