diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-11-25 18:20:02 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-11-25 18:20:08 +0100 |
| commit | 34ed30fe1a710f6294e23003aa385bd6da6cb326 (patch) | |
| tree | 4fb8628a64a3c2943b23a9f7646206cb38bba69a /fltk-options/fltk-options.cxx | |
| parent | 00808500926af83a531fc1fdc0b2df9716743e8b (diff) | |
Adds `linespacing()` to `Fl_Browser_` and all derived widgets
Diffstat (limited to 'fltk-options/fltk-options.cxx')
| -rw-r--r-- | fltk-options/fltk-options.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fltk-options/fltk-options.cxx b/fltk-options/fltk-options.cxx index d7ba73039..0e68a5b13 100644 --- a/fltk-options/fltk-options.cxx +++ b/fltk-options/fltk-options.cxx @@ -644,6 +644,7 @@ Fl_Window* build_ui() { "Groups"); g_headline_browser->align(FL_ALIGN_TOP); g_headline_browser->textsize(FL_NORMAL_SIZE+1); + g_headline_browser->linespacing(4); add_headlines(g_headline_browser); // -- scrollable area for all options inside a group g_option_scroll = new Fl_Scroll(FO_GAP + FO_BROWSER_W + FO_GAP, FO_GAP + FO_TITLE_H, |