Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 1852
12d37ab1baf3
parent 0
de9c2efb9d02
child 2763
e4794166ad70
equal deleted inserted replaced
1851:8809e87fcbee 1852:12d37ab1baf3

eric ide

mercurial