kicker: no drag-resizing anymore

[Scott Wheeler]

On Monday 27 May 2002 09:59 am, Aaron J. Seigo wrote:

> no, i said there should be. there isn't atm, but there probably should be.

Ah.  All clear now -- probably hadn't had enough coffee this yet.

> what do you mean by "general configuration menu"? and have you cvs up'd 
> since
> yesterday? i completed moving all (or at least i hope all) of the old "let's
> figure out the size setting by guessing based on the pixel size" damage ...
> well, all except the dcop call to setSize, which i kept as is for obvious
> reasons.

Yep.  I'm current (just checked).  Ok steps to reproduce (probably should have 
been in the earilier mail):

Right click on Kicker and select "Size->Normal".  Right click and select 
"Configure Panel...".  Make sure that this also says normal and for 
demonstration purposes set the custom size to say 58.

Now, right click on Kicker and select "Size->Custom..." and set it to 44.  Now 
again, go to "Configure Panel...".  It will still say Size == Normal and the 
custom size will still be 58, instead of the values that you set using 
"Size->Custom...".

> IMHO nice would be to have the notched style dragging if the setting is not
> custom, and free if it is custom. if the free drag was made a little less
> sensitive that would be nice, as would not letting the resize bar go below 
> 24
> pixels or above 128 pixels (the min and max size for the panel) ...
> 
> custom will still need a dialog to pop up when selected otherwise people 
> will
> select custom and not know how to change its size as it is non-obvious that
> you can drag the edge of the panel to resize it.

This still seems counterintuitive.  How will you convey to the user that it 
works this way?  Trial and error?  As a user I would expect the drag to 
resize behavior to function the same independant of what I select to be the 
size of Kicker.  The present implementation connects these and I don't really 
see why.

-Scott