bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#1036: [PATCH] * xterm.c (gtk-scroll-bar-adjust-thumb-portion): New v


From: Stefan Monnier
Subject: bug#1036: [PATCH] * xterm.c (gtk-scroll-bar-adjust-thumb-portion): New variable to determine whether gtk scroll bar thumb size should be adjusted or not. * gtkutil.c (gtk-scroll-bar-adjust-thumb-portion): Use variable.
Date: Mon, 03 Dec 2012 12:22:11 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux)

> If we are to provide a user option for this, we should do it for all
> toolkits.

Yes, we should do that (and share more of the code, as well).


        Stefan





reply via email to

[Prev in Thread] Current Thread [Next in Thread]