[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-core-devel
Subject:    Re: kicker and resize handle
From:       "Gerold J. Wucherpfennig" <gjwucherpfennig () gmx ! net>
Date:       2002-02-09 15:08:10
[Download RAW message or body]

On Saturday 09 February 2002 01:41, David Faure wrote:
> On Sat, 9 Feb 2002, Michael Brade wrote:
> > On Friday 08 February 2002 18:47, Christoph Cullmann wrote:
> > > I think most people will have such probs (like me ;). It is really
> > > annoying if you want to grab a windowborder but got the kicker border,
> > > drag it and have a ugly kicker and then try it to revert to the size it
> > > had before.
> >
> > Same here.
>
> Maybe the solution is to make it harder to resize it, instead of
> yet-another-config-option ?
> To take Windows as an example... it's not configurable there, but there's
> a threshold. One needs to drag the border by some distance in order to
> resize it, whereas for kicker one or two pixels will already resize the
> panel, shifting a lot of stuff around.
>
> David.

Please don't do it THAT way.

I like to make Kicker 2 pixels smaller than the default size.

Maybe you are a little bit surprised and think:
"Making kicker 2 pixels smaller doesn't make sense" 

, but it makes sense because:

The icons don't change size, but the gap between them disappears
--> more space left for the taskbar


I would like to see an option to LOCK kicker resizing:

PLEASE add this checkbox-option to the RMB menu:
RBM menu:--> Size --> Resizable

The whole Size menu:

--------------
|   Tiny      |
|   Small     |
|   Normal    |
|   Large     |
| + Custom    |
| * Resizable |
--------------

HTH

gjw


[prev in list] [next in list] [prev in thread] [next in thread]