PR# 13038 Double-click on docked window title bar often undocks instead of maximizing

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/07
Class: Bug
Severity: Serious
Number: 13038
Release: 6.0.68843
Confidential: No
Status: Closed
Responsible: larryl
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv: Gecko/20060915 Firefox/ Solaris 9 on SPARC
Synopsis: Double-click on docked window title bar often undocks instead of maximizing

Often when I double-click on the title bar of
a docked window, it undocks the window instead of maximizing it.  This is
quite annoying because there is no quick way to "undo" the undock and get
back to the previous state with the window docked.  I
*think* what is happening is that if the mouse moves even one pixel between
the first click and the second click, the double-click is interpreted as
a single click (which undocks the window when mouse button is released)
followed by another single click, which does nothing.  However, this is
just a guess, so this behavior might just be a bug.

Perhaps this is working as designed, in which case this may be a feature
request rather than a bug report.  But it is very disconcerting to double
click on the window title and have the window undocked instead of maximized,
even when you're fairly sure you moved the mouse either not at all or just
a pixel or two between the clicks.

It would be great if you could fix this.
To Reproduce

Problem Report Interactions
From:larryl    Date:2009/09/04    Status: Closed    Download   
In revision#80621, only after user pointer moved *more than 1 pixel* after pointer pressed, the panel can be dragged. I think 1 pixel is good enough (this can be easily configured in {SD_SHARED}.drag_offset). This bug is fixed. :)

Thanks for your report.