src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui

branch
eric7
changeset 9958
a78b83d1062a
parent 9938
b8005dd4fc9b
child 10135
36839e2c6945

eric ide

mercurial