UI/CompareDialog.py

changeset 6247
5c677a7f7d51
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
diff -r fe07a9f16f23 -r 5c677a7f7d51 UI/CompareDialog.py
--- a/UI/CompareDialog.py	Fri Apr 13 22:32:32 2018 +0200
+++ b/UI/CompareDialog.py	Sat Apr 14 15:08:24 2018 +0200
@@ -145,7 +145,7 @@
         self.diffParas = []
         self.currentDiffPos = -1
         
-        self.markerPattern = "\0\+|\0\^|\0\-"
+        self.markerPattern = r"\0\+|\0\^|\0\-"
         
         if len(files) == 2:
             self.filesGroup.hide()

eric ide

mercurial