diff options
| author | Robert Pluim <rpluim@gmail.com> | 2017-12-20 09:24:17 +0100 |
|---|---|---|
| committer | Martin Rudalics <rudalics@gmx.at> | 2017-12-20 09:24:17 +0100 |
| commit | 4122d54067c61bbdff5aab7ddf5dfe5b5797b218 (patch) | |
| tree | ddac77eb169d8c7836471aaff696eead0f2378a4 /src/gtkutil.c | |
| parent | 21a212f9e256a05a0fc67260d338d612cba77266 (diff) | |
| download | emacs-4122d54067c61bbdff5aab7ddf5dfe5b5797b218.tar.gz | |
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.
Diffstat (limited to 'src/gtkutil.c')
| -rw-r--r-- | src/gtkutil.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/gtkutil.c b/src/gtkutil.c index 2708e5f0f7c..ec1f70e4610 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; |