src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 10237
17ab17a3e6b3
parent 10135
36839e2c6945
child 10257
904c71a0e37f

eric ide

mercurial