Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 2224
c681f765d64d
parent 1509
c0b5e693b0eb
child 2261
f4bb5648fc29
child 2303
0ed4ed026c16

eric ide

mercurial