diff options
| author | Robert Pluim | 2017-12-20 09:24:17 +0100 |
|---|---|---|
| committer | Martin Rudalics | 2017-12-20 09:24:17 +0100 |
| commit | 4122d54067c61bbdff5aab7ddf5dfe5b5797b218 (patch) | |
| tree | ddac77eb169d8c7836471aaff696eead0f2378a4 | |
| parent | 21a212f9e256a05a0fc67260d338d612cba77266 (diff) | |
| download | emacs-4122d54067c61bbdff5aab7ddf5dfe5b5797b218.tar.gz emacs-4122d54067c61bbdff5aab7ddf5dfe5b5797b218.zip | |
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.
| -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, | |||
| 3890 | top /= scale; | 3890 | top /= scale; |
| 3891 | left /= scale; | 3891 | left /= scale; |
| 3892 | height /= scale; | 3892 | height /= scale; |
| 3893 | left -= (scale - 1) * ((width / scale) >> 1); | 3893 | width /= scale; |
| 3894 | 3894 | ||
| 3895 | /* Clear out old position. */ | 3895 | /* Clear out old position. */ |
| 3896 | int oldx = -1, oldy = -1, oldw, oldh; | 3896 | int oldx = -1, oldy = -1, oldw, oldh; |
| @@ -3966,6 +3966,12 @@ xg_update_horizontal_scrollbar_pos (struct frame *f, | |||
| 3966 | GtkWidget *wfixed = f->output_data.x->edit_widget; | 3966 | GtkWidget *wfixed = f->output_data.x->edit_widget; |
| 3967 | GtkWidget *wparent = gtk_widget_get_parent (wscroll); | 3967 | GtkWidget *wparent = gtk_widget_get_parent (wscroll); |
| 3968 | gint msl; | 3968 | gint msl; |
| 3969 | int scale = xg_get_scale (f); | ||
| 3970 | |||
| 3971 | top /= scale; | ||
| 3972 | left /= scale; | ||
| 3973 | height /= scale; | ||
| 3974 | width /= scale; | ||
| 3969 | 3975 | ||
| 3970 | /* Clear out old position. */ | 3976 | /* Clear out old position. */ |
| 3971 | int oldx = -1, oldy = -1, oldw, oldh; | 3977 | int oldx = -1, oldy = -1, oldw, oldh; |