Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 2224
c681f765d64d
parent 1509
c0b5e693b0eb
child 2261
f4bb5648fc29
child 2303
0ed4ed026c16
equal deleted inserted replaced
2223:054c285dab38 2224:c681f765d64d

eric ide

mercurial