[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is tooltip-mode STANDARD on or off?
From: |
Richard M. Stallman |
Subject: |
Re: Is tooltip-mode STANDARD on or off? |
Date: |
Mon, 25 Jul 2005 09:10:48 -0400 |
I
believe that the intended behavior is exactly opposite and that the
patch below, which implements the opposite behavior should be installed.
Yes, that's the right fix. As it happens I made the same fix
after I saw the other message, so it is already installed.
But thanks anyway.