In gtksettings.c we have
#define DEFAULT_TIMEOUT_INITIAL 200
#define DEFAULT_TIMEOUT_REPEAT 20
for the "gtk-timeout-initial" and "gtk-timeout-repeat" settings,
respectively. This means we wait for a fifth of a second before we
start repeating, but then we try to repeat 50 times per second.
Is
On Tue, 2006-06-06 at 10:41 -0500, Federico Mena Quintero wrote:
> > In essence the timeout is way too short for switching days; also -
> > in the panel applet the timeout has a higher priority than the
> > queued resize of the display (and hence the redraw) - so in
> > essence we skip days even
On Tue, 2006-06-06 at 10:41 -0500, Federico Mena Quintero wrote:
> In gtksettings.c we have
>
> #define DEFAULT_TIMEOUT_INITIAL 200
> #define DEFAULT_TIMEOUT_REPEAT 20
>
> for the "gtk-timeout-initial" and "gtk-timeout-repeat" settings,
> respectively. This means we wait for a fifth of a secon
On Fri, 2006-06-09 at 12:33 +0200, Michael Natterer wrote:
> Actually, it may make sense to simply use the user's configured
> key repeat and delay for these two setting values. What do you
> think?
That's probably a very good idea, on the grounds that people set the
keyboard delay/repeat to value
