Re: a nice touch from kde's kicker

[Sean Middleditch <elanthis awesomeplay com>]

On Wed, 2002-02-13 at 23:11, Havoc Pennington wrote:
> 
> Sean Middleditch <elanthis awesomeplay com> writes:
> > I don't see why this couldn't be made into an option - is it that hard
> > to do it both ways?  One can't see there aren't a lot of
> > extraneous/weird option in GNOME now.  ~,^
> >
> 
> This is a totally bogus thing to make an option. It could be part of
> the theme though.

Ah, ya, good point.

>  
> Havoc