On 11/2/06, Andrew Jaffe <a.h.jaffe at gmail.com> wrote: > Trevor Turk wrote: > > 'twas fun while it lasted! > > But the ghosts seem to linger on! On my machine, the LaTeX log window is > still halloweened... it's just a theme of the window - you have a pull-down-list on the top right to change it. Niels