|
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] |