[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: Tue, 28 Jun 2005 14:47:20 -0400

    Note that, after my patches, the bugs in the Custom Theme machinery
    that I am aware of _only_ occur after unloading previously loaded

What does it mean to "unload" a theme?  I can't find anything in the
code that refers to such an operation.

reply via email to

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