Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 1373
b3b3c99dba01
parent 1131
7781e396c903
child 1444
552d2d74f5cf
equal deleted inserted replaced
1370:cb90f71f11f5 1373:b3b3c99dba01

eric ide

mercurial