Re: resize windows horizontally with the mouse

[Jan D.]

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