|
From: | Richard M. Stallman |
Subject: | Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: | Tue, 04 Oct 2005 01:02:52 -0400 |
What about my other suggestion: changing `internal-border-width' of `tooltip-frame-parameters' to 2 instead of 5? Sounds good to me.
[Prev in Thread] | Current Thread | [Next in Thread] |