add font picker, color picker and bullet point ui tools

2026-06-11 21:27:01 -04:00 · 2026-02-05 16:02:55 +01:00
parent 11e506739a
commit e9abd1fb77
31 changed files with 519 additions and 134 deletions
@@ -27,6 +27,7 @@ enum FontFlags
 ,  FONT_CODE_STRING = 0x20 // syntax highlighting
 ,  FONT_CODE_NUMBER = 0x40 // syntax highlighting
 ,  FONT_CODE_OPER   = 0x80 // syntax highlighting
+,  FONT_FROM_TAG    = 0x100 // this font is defined by a markup tag
 };

 /// A reference to a font for rendering text