eric6/Preferences/ConfigurationPages/EditorSearchPage.py

changeset 8234
fcb6b4b96274
parent 8218
7c09585bd960
equal deleted inserted replaced
8233:bad78a592cc2 8234:fcb6b4b96274
63 63
64 Preferences.setEditor( 64 Preferences.setEditor(
65 "MarkOccurrencesTimeout", 65 "MarkOccurrencesTimeout",
66 self.markOccurrencesTimeoutSpinBox.value()) 66 self.markOccurrencesTimeoutSpinBox.value())
67 67
68 if self.regexpPosixButton.isChecked(): 68 mode = 0 if self.regexpPosixButton.isChecked() else 1
69 mode = 0
70 else:
71 mode = 1
72 Preferences.setEditor( 69 Preferences.setEditor(
73 "SearchRegexpMode", mode) 70 "SearchRegexpMode", mode)
74 71
75 self.saveColours(Preferences.setEditorColour) 72 self.saveColours(Preferences.setEditorColour)
76 73

eric ide

mercurial