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;
|
top /= scale;
|
||||||
left /= scale;
|
left /= scale;
|
||||||
height /= scale;
|
height /= scale;
|
||||||
left -= (scale - 1) * ((width / scale) >> 1);
|
width /= scale;
|
||||||
|
|
||||||
/* Clear out old position. */
|
/* Clear out old position. */
|
||||||
int oldx = -1, oldy = -1, oldw, oldh;
|
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 *wfixed = f->output_data.x->edit_widget;
|
||||||
GtkWidget *wparent = gtk_widget_get_parent (wscroll);
|
GtkWidget *wparent = gtk_widget_get_parent (wscroll);
|
||||||
gint msl;
|
gint msl;
|
||||||
|
int scale = xg_get_scale (f);
|
||||||
|
|
||||||
|
top /= scale;
|
||||||
|
left /= scale;
|
||||||
|
height /= scale;
|
||||||
|
width /= scale;
|
||||||
|
|
||||||
/* Clear out old position. */
|
/* Clear out old position. */
|
||||||
int oldx = -1, oldy = -1, oldw, oldh;
|
int oldx = -1, oldy = -1, oldw, oldh;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue