src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

branch
eric7
changeset 10517
aecd5a8c958c
parent 10482
72d9b5ea39b4
child 10595
59579e8aff98
equal deleted inserted replaced
10516:72baef0baa76 10517:aecd5a8c958c

eric ide

mercurial