src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py

branch
eric7
changeset 10282
092821fb6f18
parent 10135
36839e2c6945
child 10428
a071d4065202

eric ide

mercurial