wuggy/Dactyloidae
wuggy/Dactyloidae
1
0
Fork 0
mirror of https://repo.dactyloidae.xyz/Dactyloidae/UXP.git synced 2026-09-10 02:08:38 +09:00
Code Issues Projects Releases Packages Wiki Activity

[GTK3] Consider also margin when determine range widget slider size

Browse source
This commit is contained in:
trav90 2018-04-06 10:34:41 -05:00 • committed by Roy Tam
commit cfed5f8df1
1 changed files with 20 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

23
widget/gtk/gtk3drawing.cpp
View file

@ -2548,10 +2548,27 @@ moz_gtk_get_scalethumb_metrics(GtkOrientation orient, gint* thumb_length, gint*
MOZ_GTK_SCALE_THUMB_HORIZONTAL: MOZ_GTK_SCALE_THUMB_HORIZONTAL:
MOZ_GTK_SCALE_THUMB_VERTICAL; MOZ_GTK_SCALE_THUMB_VERTICAL;
GtkStyleContext* style = ClaimStyleContext(widget); GtkStyleContext* style = ClaimStyleContext(widget);
gtk_style_context_get(style, gtk_style_context_get_state(style), gint min_width, min_height;
"min-width", thumb_length, GtkStateFlags state = gtk_style_context_get_state(style);
"min-height", thumb_height, gtk_style_context_get(style, state,
"min-width", &min_width,
"min-height", &min_height,
nullptr); nullptr);
GtkBorder margin;
gtk_style_context_get_margin(style, state, &margin);
gint margin_width = margin.left + margin.right;
gint margin_height = margin.top + margin.bottom;
// Negative margin of slider element also determines its minimal size
// so use bigger of those two values.
if (min_width < -margin_width)
min_width = -margin_width;
if (min_height < -margin_height)
min_height = -margin_height;
*thumb_length = min_width;
*thumb_height = min_height;
ReleaseStyleContext(style); ReleaseStyleContext(style);
} }