eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 8876
2001accf55b3
parent 8322
b422b4e77d19
child 8881
54e42bc2437a

eric ide

mercurial