src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui

branch
eric7
changeset 10257
904c71a0e37f
parent 10135
36839e2c6945
child 10429
643989a1e2bd

eric ide

mercurial