eric7/Preferences/ConfigurationPages/EditorGeneralPage.py

branch
eric7
changeset 8337
6e2ca14e0dba
parent 8318
962bce857696
child 8356
68ec9c3d4de5

eric ide

mercurial