diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-12-15 12:31:24 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-12-15 12:31:29 +0100 |
| commit | a118930d954d9ca20e9ea0b7ce5155f084578228 (patch) | |
| tree | 6bfc447a947889b27850194580dcb905e621d953 /fluid/widget_browser.h | |
| parent | ce06a6b5192596a1c7d0b1ddd4cbdf93b87fc810 (diff) | |
#832: FLUID: Adds custom fonts and colors for widget browser.
Diffstat (limited to 'fluid/widget_browser.h')
| -rw-r--r-- | fluid/widget_browser.h | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/fluid/widget_browser.h b/fluid/widget_browser.h index 00053419a..0325fad67 100644 --- a/fluid/widget_browser.h +++ b/fluid/widget_browser.h @@ -63,6 +63,21 @@ public: void restore_scroll_position(); void rebuild(); void display(Fl_Type *); + void load_prefs(); + void save_prefs(); + + static Fl_Color label_color; + static Fl_Font label_font; + static Fl_Color class_color; + static Fl_Font class_font; + static Fl_Color func_color; + static Fl_Font func_font; + static Fl_Color name_color; + static Fl_Font name_font; + static Fl_Color code_color; + static Fl_Font code_font; + static Fl_Color comment_color; + static Fl_Font comment_font; }; #endif // _FLUID_WIDGET_BROWSER_H |