Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 3187
e63c582ee4f5
parent 2763
e4794166ad70
child 3960
e0429dd20a64

eric ide

mercurial