[Top][All Lists]

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

Re: tooltip-delay

From: Richard Stallman
Subject: Re: tooltip-delay
Date: Tue, 30 Oct 2001 11:10:45 -0700 (MST)

    The question is, do we want this for the next release 21.2, or only on
    the development trunk?  Comments?

It seems safe enough, and will help lots of people, so I think it may
as well go in 21.2.

reply via email to

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