src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7-maintenance
changeset 9449
c982bacca23f
parent 9209
b99e7fd55fd3
child 9567
0c491346bb8e

eric ide

mercurial