|
| From: | Richard Stallman |
| Subject: | Re: GTK build: some menus in the menu bar stay highlighted |
| Date: | Fri, 27 Apr 2007 02:00:22 -0400 |
Actually I think I found a safe fix. If there is no negative feedback,
I'll
add it to HEAD. I'm not sure who decides if it should go to the 22.1
branch.
I think it should go in 22.1
as well as in the trunk.
| [Prev in Thread] | Current Thread | [Next in Thread] |