src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

branch
server
changeset 10766
d35d6f96c24b
parent 10692
9becf9ca115c
child 11006
a671918232f3

eric ide

mercurial