src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

branch
server
changeset 10531
3308e8349e4c
parent 10482
72d9b5ea39b4
child 10595
59579e8aff98

eric ide

mercurial