--- a/src/eric7/QScintilla/Shell.py Fri Mar 08 15:51:14 2024 +0100 +++ b/src/eric7/QScintilla/Shell.py Fri Mar 08 16:08:43 2024 +0100 @@ -2135,7 +2135,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)) @@ -2646,7 +2646,7 @@ False, forProject=True, workingDir=ppath, - startRemote=FileSystemUtilities.isRemoteFileName(ppath) + startRemote=FileSystemUtilities.isRemoteFileName(ppath), ) self.__currentWorkingDirectory = self.__project.getProjectPath() self.__getBanner() @@ -2666,12 +2666,12 @@ 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))