On Thu, 2003-02-27 at 15:38, Sean Middleditch wrote: > On Thu, 2003-02-27 at 07:31, Mario Vukelic wrote: > > While I can switch themes manually or with gtk-theme-switch, > > Debian has a program called switch (or gtk-switch or something) Yeah, package is gtk-theme-switch, binary is switch. Same thing :)