diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-08-29 23:13:43 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-08-29 23:13:43 +0200 |
| commit | 6beddb9d5c3c6407220391b66cc156cc8e09a7ae (patch) | |
| tree | a5dacca1987790b8403bebeb3f254300b8a165c5 /fluid/widget_panel.fl | |
| parent | b5a1da961200e870a28f09b2fba4197e73c9935d (diff) | |
FLUID: fixes resizing of preferences panel
Diffstat (limited to 'fluid/widget_panel.fl')
| -rw-r--r-- | fluid/widget_panel.fl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fluid/widget_panel.fl b/fluid/widget_panel.fl index c72e2a18f..1ebbaa7d6 100644 --- a/fluid/widget_panel.fl +++ b/fluid/widget_panel.fl @@ -45,7 +45,7 @@ Function {make_widget_panel()} { } { Fl_Group {} { label GUI - callback propagate_load open + callback propagate_load open selected xywh {10 30 400 330} labelsize 11 when 0 resizable } { Fl_Group {} { @@ -477,7 +477,7 @@ h, ph, sh, ch, and i} xywh {275 150 55 20} labelsize 11 align 5 textsize 11 } { Fl_Button {} { callback shortcut_in_cb - comment {This is a special button that grabs keystrokes directly} selected + comment {This is a special button that grabs keystrokes directly} tooltip {The shortcut key for the widget. Use 'Backspace' key to clear.} xywh {95 210 310 20} box DOWN_BOX color 7 selection_color 12 labelsize 11 when 1 code0 {\#include <FL/Fl_Shortcut_Button.H>} |