Fix updating scrollbar sizes when scaling is in effect

* src/gtkutil.c (xg_update_scrollbar_pos): Update width of
scrollbar when scaling is in effect.
(xg_update_horizontal_scrollbar_pos): Update scrollbar size
when scaling is in effect.
This commit is contained in:
Robert Pluim 2017-12-20 09:24:17 +01:00 committed by Martin Rudalics
parent 21a212f9e2
commit 4122d54067

View file

@ -3890,7 +3890,7 @@ xg_update_scrollbar_pos (struct frame *f,
top /= scale;
left /= scale;
height /= scale;
left -= (scale - 1) * ((width / scale) >> 1);
width /= scale;
/* Clear out old position. */
int oldx = -1, oldy = -1, oldw, oldh;
@ -3966,6 +3966,12 @@ xg_update_horizontal_scrollbar_pos (struct frame *f,
GtkWidget *wfixed = f->output_data.x->edit_widget;
GtkWidget *wparent = gtk_widget_get_parent (wscroll);
gint msl;
int scale = xg_get_scale (f);
top /= scale;
left /= scale;
height /= scale;
width /= scale;
/* Clear out old position. */
int oldx = -1, oldy = -1, oldw, oldh;