[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: resize windows horizontally with the mouse
From: |
Jan D. |
Subject: |
Re: resize windows horizontally with the mouse |
Date: |
Thu, 30 Jan 2014 10:45:40 +0100 |
Hello.
The rounding to 16 is because Gtk at some point hardcoded the width to 16.
Maybe this is fixed in Gtk+ 3?
Jan D.
> 30 jan 2014 kl. 08:53 skrev martin rudalics <address@hidden>:
>
> > 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, 2014/01/30
- Re: resize windows horizontally with the mouse,
Jan D. <=
- 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