|
| From: | Richard M. Stallman |
| Subject: | Re: Custom themes |
| Date: | Fri, 01 Jul 2005 18:44:34 -0400 |
With the current code, they do _not_ get reloaded when already loaded.
If I would re-implement it, they would be reloaded.
If that's the easiest way to get correct functioning, please do it.
| [Prev in Thread] | Current Thread | [Next in Thread] |