src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py

branch
eric7
changeset 9938
b8005dd4fc9b
parent 9931
e6e01a10c3a1
child 10069
435cc5875135
equal deleted inserted replaced
9937:a56c297bfd61 9938:b8005dd4fc9b
53 "SearchMarkers", 53 "SearchMarkers",
54 self.searchMarkerButton, 54 self.searchMarkerButton,
55 Preferences.getEditorColour, 55 Preferences.getEditorColour,
56 hasAlpha=True, 56 hasAlpha=True,
57 ) 57 )
58 self.initColour(
59 "SearchSelectionMarker",
60 self.highlightingBackgroundButton,
61 Preferences.getEditorColour,
62 hasAlpha=True,
63 )
58 64
59 def save(self): 65 def save(self):
60 """ 66 """
61 Public slot to save the Editor Search configuration. 67 Public slot to save the Editor Search configuration.
62 """ 68 """

eric ide

mercurial