Fwd: [PATCH] kicker resizing

John Firebaugh jfirebaugh at kde.org
Sun May 5 18:21:23 BST 2002


On Sunday 05 May 2002 1:37, Matthias Elter wrote:
> On Thursday 02 May 2002 21:01, Gerold J. Wucherpfennig wrote:
> > Hi, this patch prevents users from accidentially resizing kicker when the
> > /size/ "Custom" is selected. I added a lock mechanism, a check item
> > called "Resizable". One or two months ago, before KDE3.0 was released
> > (during the i18n freeze period), I posted an earlier patch and someone
> > said it looked ok to him.
> > Please review and apply if it looks ok.
> > I'm not subscribed to this list (not any more),
> > so it would be nice if you CC me.
>
> I'm not sure if I like this patch. I'm not happy with having to enable
> resizing to resize my panel. It more or less renders the free resize
> feature useless. John, what do you think?

Apparently accidental resizing is a common problem, and it can be annoying. I 
think we do need to do something about it. I also agree with you that having 
to enable resizing explicitly makes it less useful. I can think of several 
other possibilities:

a) Require a modifier key. (But then it's hard to find out that you can resize 
via drag in the first place.)
b) Put in some heuristics to try to determine if the resizing is intentional. 
Possibilities would be to wait for a delay between mousePress and drag or to 
temporarily disable it if there is a window edge within a few pixels. (Might 
be tricky to get right.)

-John




More information about the kde-core-devel mailing list