Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 3658
edcfadf0152d
parent 2763
e4794166ad70
child 3960
e0429dd20a64

eric ide

mercurial