--- a/src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py Wed Jan 03 17:36:30 2024 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py Wed Jan 03 18:09:15 2024 +0100 @@ -38,6 +38,7 @@ Class implementing the Editor Highlighting Styles configuration page. """ + # TODO: change this to an enum FAMILYONLY = 0 SIZEONLY = 1 FAMILYANDSIZE = 2