eric7/Preferences/ConfigurationPages/EditorGeneralPage.py

branch
eric7
changeset 8512
cc82680dba7b
parent 8505
bbe43ddfae56
child 8881
54e42bc2437a

eric ide

mercurial