diff options
| author | Greg Ercolano <erco@seriss.com> | 2025-04-06 08:21:31 -0700 |
|---|---|---|
| committer | Greg Ercolano <erco@seriss.com> | 2025-04-06 08:21:31 -0700 |
| commit | ed57306a433667d4fd566ec7590493ddd7d41b17 (patch) | |
| tree | 91ed7fc62823e4e5d61cda18e160df4033698ba9 /fluid/panels/widget_panel.fl | |
| parent | 8b8d92a313f97d5e0e2290ec880758d8606e83c3 (diff) | |
Adjusted .fl files too, regen code (#1245)
Diffstat (limited to 'fluid/panels/widget_panel.fl')
| -rw-r--r-- | fluid/panels/widget_panel.fl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/fluid/panels/widget_panel.fl b/fluid/panels/widget_panel.fl index 026616714..d479b0bef 100644 --- a/fluid/panels/widget_panel.fl +++ b/fluid/panels/widget_panel.fl @@ -25,6 +25,9 @@ comment {// } {in_source in_header } +decl {\#include <stdlib.h> // free()} {selected private global +} + decl {\#include "panels/widget_panel/Grid_Child_Tab.h"} {public global } @@ -472,7 +475,7 @@ Function {make_widget_panel()} { } { Fl_Group wp_gui_tab { label GUI - callback propagate_load open selected + callback propagate_load open xywh {10 30 400 330} labelsize 11 when 0 resizable } { Fl_Group {} { |
