eric6/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 7537
4e2d6b12f67c
parent 7360
9190402e4505
child 7743
817a81a2e6aa
equal deleted inserted replaced
7536:861e46f99d65 7537:4e2d6b12f67c

eric ide

mercurial