src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesSelectionDialog.py

branch
server
changeset 10531
3308e8349e4c
parent 10439
21c28b0f9e41
child 11090
f5f5f5803935
equal deleted inserted replaced
10530:684f491a3bfc 10531:3308e8349e4c

eric ide

mercurial