FLUID: Improve resizing behavior of properties dialog

This commit is contained in:
Matthias Melcher 2024-09-02 12:08:01 +02:00
parent 2834213815
commit 0ee76e5696
2 changed files with 11 additions and 11 deletions

View File

@ -1088,7 +1088,7 @@ Fl_Double_Window* make_widget_panel() {
} // Fl_Button* o
o->end();
} // Fl_Group* o
{ wp_gui_alignment = new Fl_Group(95, 115, 310, 20, "Alignment:");
{ wp_gui_alignment = new Fl_Group(95, 115, 312, 20, "Alignment:");
wp_gui_alignment->labelfont(1);
wp_gui_alignment->labelsize(11);
wp_gui_alignment->callback((Fl_Callback*)propagate_load);
@ -1158,7 +1158,7 @@ Fl_Double_Window* make_widget_panel() {
o->callback((Fl_Callback*)align_position_cb);
o->menu(menu_1);
} // Fl_Choice* o
{ Fl_Button* o = new Fl_Button(384, 115, 20, 20, "@-3square");
{ Fl_Button* o = new Fl_Button(384, 115, 22, 20, "@-3square");
o->tooltip("Show the label inside the widget.");
o->type(1);
o->selection_color(FL_INACTIVE_COLOR);
@ -1166,7 +1166,7 @@ Fl_Double_Window* make_widget_panel() {
o->labelcolor(FL_INACTIVE_COLOR);
o->callback((Fl_Callback*)align_cb, (void*)((fl_intptr_t)FL_ALIGN_INSIDE));
} // Fl_Button* o
{ Fl_Box* o = new Fl_Box(404, 115, 0, 20);
{ Fl_Box* o = new Fl_Box(406, 115, 1, 20);
o->labelsize(11);
Fl_Group::current()->resizable(o);
} // Fl_Box* o

View File

@ -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 {} {