diff -r fe07a9f16f23 -r 5c677a7f7d51 UI/FindFileDialog.py
--- a/UI/FindFileDialog.py Fri Apr 13 22:32:32 2018 +0200
+++ b/UI/FindFileDialog.py Sat Apr 14 15:08:24 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 +
