|
| From: | Richard M. Stallman |
| Subject: | Re: Bug, probably related to Custom Themes. |
| Date: | Thu, 22 Dec 2005 00:46:47 -0500 |
This completely untested patch may do what you want. What does it do, in user terms?
| [Prev in Thread] | Current Thread | [Next in Thread] |