From 074d39597b1cff03053e369cf89ee701874afddb Mon Sep 17 00:00:00 2001 From: Robert Pluim Date: Tue, 10 Oct 2017 16:20:50 +0200 Subject: [PATCH] Adjust scrollbar dimensions when scaling 2017-10-10 Robert Pluim * 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. --- src/gtkutil.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/gtkutil.c b/src/gtkutil.c index c7d8f92829..88b7fd7e7b 100644 --- a/src/gtkutil.c +++ b/src/gtkutil.c @@ -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; -- 2.15.0.rc1