src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 10517
aecd5a8c958c
parent 10257
904c71a0e37f
child 10832
479cf39ac9cb

eric ide

mercurial