eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 8337
6e2ca14e0dba
parent 8312
800c432b34c8
child 8505
bbe43ddfae56

eric ide

mercurial