Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 1032
f7c2e348f6f3
parent 948
fe7b94ed01ec
child 1131
7781e396c903
equal deleted inserted replaced
1031:c0f795aa71a7 1032:f7c2e348f6f3

eric ide

mercurial