[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Custom themes
From: |
Luc Teirlinck |
Subject: |
Re: Custom themes |
Date: |
Sun, 3 Jul 2005 19:27:55 -0500 (CDT) |
Richard Stallman wrote:
With the current code, they do _not_ get reloaded when already loaded.
If I would re-implement it, they would be reloaded.
How about making that fix? It should pretty easy.
It is not at all as trivial as it seems. The current Custom themes
code is not adapted to that.
Sincerely,
Luc.