src/eric7/Preferences/ConfigurationPages/EditorSyntaxPage.py

branch
server
changeset 10531
3308e8349e4c
parent 10498
6bbe8e2210d7
child 10683
779cda568acb

eric ide

mercurial