[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Custom themes

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]