Preferences/ConfigurationPages/EditorPropertiesPage.ui

changeset 5106
1ecc6c9abca5
parent 4206
8f0d697e6384
child 5420
53ca6ddb4acf
equal deleted inserted replaced
5105:8a773a100c34 5106:1ecc6c9abca5

eric ide

mercurial