src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 9221
bf71ee032bb4
parent 9209
b99e7fd55fd3
child 9567
0c491346bb8e

eric ide

mercurial