Preferences/ConfigurationPages/EditorPropertiesPage.ui

changeset 5047
04e5dfbd3f3d
parent 4206
8f0d697e6384
child 5420
53ca6ddb4acf
equal deleted inserted replaced
5042:021d99e03961 5047:04e5dfbd3f3d

eric ide

mercurial