comparison: src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py
src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py
- branch
- eric7
- changeset 10475
- ee41fab001f2
- parent 10439
- 21c28b0f9e41
- child 10482
- 72d9b5ea39b4
equal
deleted
inserted
replaced
36 ): |
36 ): |
37 """ |
37 """ |
38 Class implementing the Editor Highlighting Styles configuration page. |
38 Class implementing the Editor Highlighting Styles configuration page. |
39 """ |
39 """ |
40 |
40 |
|
41 # TODO: change this to an enum |
41 FAMILYONLY = 0 |
42 FAMILYONLY = 0 |
42 SIZEONLY = 1 |
43 SIZEONLY = 1 |
43 FAMILYANDSIZE = 2 |
44 FAMILYANDSIZE = 2 |
44 FONT = 99 |
45 FONT = 99 |
45 |
46 |