Preferences/ConfigurationPages/EditorPropertiesPage.ui

changeset 1373
b3b3c99dba01
parent 948
fe7b94ed01ec
child 1444
552d2d74f5cf
equal deleted inserted replaced
1370:cb90f71f11f5 1373:b3b3c99dba01

eric ide

mercurial