src/eric7/QScintilla/Shell.py

branch
server
changeset 10633
dda7e43934dc
parent 10632
1109854f15f9
child 10651
280a53840aa3
--- 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))

eric ide

mercurial