|
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
[Prev in Thread] | Current Thread | [Next in Thread] |