Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 4554
f3428ddd577c
parent 3960
e0429dd20a64
child 4698
61c0aef6a570

eric ide

mercurial