diff options
| author | Matthias Melcher <github@matthiasm.com> | 2024-09-02 12:08:01 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2024-09-02 12:08:01 +0200 |
| commit | 0ee76e5696d680eba0caf46231f6fc08334573b6 (patch) | |
| tree | 88571eff10b63df14fc164b3d81570c46ee19b2f /fluid/widget_panel.fl | |
| parent | 28342138158e02e02972d1e961937e0b144f65cc (diff) | |
FLUID: Improve resizing behavior of properties dialog
Diffstat (limited to 'fluid/widget_panel.fl')
| -rw-r--r-- | fluid/widget_panel.fl | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/fluid/widget_panel.fl b/fluid/widget_panel.fl index cdb5deabe..76996af3c 100644 --- a/fluid/widget_panel.fl +++ b/fluid/widget_panel.fl @@ -332,7 +332,7 @@ Function {make_widget_panel()} { comment {Create a panel that can be used with all known widgets} open } { Fl_Window {} { - comment {Use a Double Window to avoid flickering.} open + comment {Use a Double Window to avoid flickering.} open selected xywh {430 217 420 400} type Double labelsize 11 align 80 resizable hotspot code0 {o->size_range(o->w(), o->h());} size_range {420 400 0 0} visible } { @@ -343,7 +343,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 {} { @@ -402,8 +402,8 @@ Use Ctrl-J for newlines.} xywh {95 40 190 20} labelfont 1 labelsize 11 when 15 t } Fl_Group wp_gui_alignment { label {Alignment:} - callback propagate_load - xywh {95 115 310 20} labelfont 1 labelsize 11 align 4 + callback propagate_load open + xywh {95 115 312 20} labelfont 1 labelsize 11 align 4 } { Fl_Button {} { label Clip @@ -442,7 +442,7 @@ Use Ctrl-J for newlines.} xywh {95 40 190 20} labelfont 1 labelsize 11 when 15 t tooltip {Bottom-align the label.} xywh {353 115 20 20} type Toggle selection_color 8 labelsize 11 labelcolor 8 hide } Fl_Choice {} { - callback align_text_image_cb open + callback align_text_image_cb xywh {172 115 116 20} down_box BORDER_BOX labelsize 11 textsize 11 } { MenuItem {} { @@ -477,7 +477,7 @@ Use Ctrl-J for newlines.} xywh {95 40 190 20} labelfont 1 labelsize 11 when 15 t } } Fl_Choice {} { - callback align_position_cb open + callback align_position_cb xywh {293 115 86 20} down_box BORDER_BOX labelsize 11 textsize 11 } { MenuItem {} { @@ -560,10 +560,10 @@ Use Ctrl-J for newlines.} xywh {95 40 190 20} labelfont 1 labelsize 11 when 15 t label {@-3square} user_data {(fl_intptr_t)FL_ALIGN_INSIDE} callback align_cb - tooltip {Show the label inside the widget.} xywh {384 115 20 20} type Toggle selection_color 8 labelsize 11 labelcolor 8 + tooltip {Show the label inside the widget.} xywh {384 115 22 20} type Toggle selection_color 8 labelsize 11 labelcolor 8 } Fl_Box {} { - xywh {404 115 0 20} labelsize 11 resizable + xywh {406 115 1 20} labelsize 11 resizable } } Fl_Group {} { |