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:
parent
21a212f9e2
commit
4122d54067
1 changed files with 7 additions and 1 deletions
|
@ -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;
|
||||
|
|
Loading…
Add table
Reference in a new issue