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 |