[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
themes.
What does it mean to "unload" a theme? I can't find anything in the
code that refers to such an operation.
- Custom themes, Richard Stallman, 2005/06/17
- Custom themes, Richard M. Stallman, 2005/06/24
- Re: Custom themes, Luc Teirlinck, 2005/06/24
- Re: Custom themes, Luc Teirlinck, 2005/06/24
- Re: Custom themes, Richard M. Stallman, 2005/06/25
- Re: Custom themes, Luc Teirlinck, 2005/06/25
- Re: Custom themes, Richard M. Stallman, 2005/06/26
- Re: Custom themes, Luc Teirlinck, 2005/06/27
- Re: Custom themes, Luc Teirlinck, 2005/06/27
- Re: Custom themes,
Richard M. Stallman <=
- Re: Custom themes, Luc Teirlinck, 2005/06/28
- Re: Custom themes, Luc Teirlinck, 2005/06/28
- Re: Custom themes, Per Abrahamsen, 2005/06/27
- Re: Custom themes, Stefan Monnier, 2005/06/28
- Re: Custom themes, Luc Teirlinck, 2005/06/28
- Re: Custom themes, Luc Teirlinck, 2005/06/28
- Re: Custom themes, Richard M. Stallman, 2005/06/29
- Re: Custom themes, Luc Teirlinck, 2005/06/29
- Re: Custom themes, David Kastrup, 2005/06/30
- Re: Custom themes, Luc Teirlinck, 2005/06/30