Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 952
cc3e2e5558e9
parent 948
fe7b94ed01ec
child 1131
7781e396c903
equal deleted inserted replaced
949:f888270da22e 952:cc3e2e5558e9

eric ide

mercurial