Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 1852
12d37ab1baf3
parent 1509
c0b5e693b0eb
child 2261
f4bb5648fc29
child 2303
0ed4ed026c16

eric ide

mercurial