|
| From: | Richard M. Stallman |
| Subject: | Re: Menubar not being refreshed |
| Date: | Wed, 24 Aug 2005 22:05:25 -0400 |
This did not fail for me on GNU/Linux. But thanks for reporting it; maybe someone can reproduce it on Windows and fix it.
| [Prev in Thread] | Current Thread | [Next in Thread] |