UI/FindFileDialog.py

branch
maintenance
changeset 6273
0daf79d65080
parent 6247
5c677a7f7d51
child 6645
ad476851d7e0
--- a/UI/FindFileDialog.py	Mon Apr 02 12:04:56 2018 +0200
+++ b/UI/FindFileDialog.py	Tue May 01 12:03:52 2018 +0200
@@ -313,7 +313,7 @@
         if self.filterCheckBox.isChecked():
             fileFilter = self.filterEdit.text()
             fileFilterList = \
-                ["^{0}$".format(filter.replace(".", "\.").replace("*", ".*"))
+                ["^{0}$".format(filter.replace(".", r"\.").replace("*", ".*"))
                  for filter in fileFilter.split(";")]
             filterRe = re.compile("|".join(fileFilterList))
         
@@ -341,7 +341,7 @@
                 if self.sourcesCheckBox.isChecked():
                     filters.extend(
                         ["^{0}$".format(
-                            assoc.replace(".", "\.").replace("*", ".*"))
+                            assoc.replace(".", r"\.").replace("*", ".*"))
                          for assoc in list(
                              Preferences.getEditorLexerAssocs().keys())
                          if assoc not in self.formsExt + self.interfacesExt +

eric ide

mercurial