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