[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: resize windows horizontally with the mouse
From: |
martin rudalics |
Subject: |
Re: resize windows horizontally with the mouse |
Date: |
Thu, 30 Jan 2014 08:53:33 +0100 |
> GTK+3.
I see. What does
(frame-parameter nil 'scroll-bar-width)
give? Can you try to trace the following function in gtkutil.c
static void
update_theme_scrollbar_width (void)
{
#ifdef HAVE_GTK3
GtkAdjustment *vadj;
#else
GtkObject *vadj;
#endif
GtkWidget *wscroll;
int w = 0, b = 0;
vadj = gtk_adjustment_new (XG_SB_MIN, XG_SB_MIN, XG_SB_MAX, 0.1, 0.1, 0.1);
wscroll = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, GTK_ADJUSTMENT (vadj));
g_object_ref_sink (G_OBJECT (wscroll));
gtk_widget_style_get (wscroll, "slider-width", &w, "trough-border", &b, NULL);
gtk_widget_destroy (wscroll);
g_object_unref (G_OBJECT (wscroll));
w += 2*b;
if (w < 16) w = 16;
scroll_bar_width_for_theme = w;
}
and look what values w and b are set to? IIRC the rounding to 16 is
responsible for a similar gap on my GTK+3 Emacs.
> Can and will.
Fine.
Thanks, martin
- resize windows horizontally with the mouse, Michael Heerdegen, 2014/01/29
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/29
- Re: resize windows horizontally with the mouse, Michael Heerdegen, 2014/01/29
- Re: resize windows horizontally with the mouse, Darren Hoo, 2014/01/30
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/30
- Re: resize windows horizontally with the mouse,
martin rudalics <=
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan Djärv, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/31
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/31
Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
Re: resize windows horizontally with the mouse, Andreas Schwab, 2014/01/30