src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

branch
eric7
changeset 10475
ee41fab001f2
parent 10439
21c28b0f9e41
child 10482
72d9b5ea39b4
equal deleted inserted replaced
10474:c18ca679259d 10475:ee41fab001f2
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

eric ide

mercurial