Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 42
23b45a742e17
parent 15
f6ccc31d6e72
child 45
9a18f4dbb493
equal deleted inserted replaced
41:572a009369f0 42:23b45a742e17

eric ide

mercurial