src/eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
eric7
changeset 10849
78d338b6d89f
parent 10439
21c28b0f9e41
child 11090
f5f5f5803935

eric ide

mercurial