Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 5798
e4f9552f7f93
parent 5736
000ea446ff4b
child 5976
549918576245
equal deleted inserted replaced
5797:8bc870b7a8a6 5798:e4f9552f7f93

eric ide

mercurial