eric6/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 7786
dd4a55fedea9
parent 7749
285855999b4e
child 8028
a4f1b68c0737

eric ide

mercurial