PR# 12090 Minor problems with resizing undocked windows

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/02/22
Class: Bug
Severity: Non-critical
Number: 12090
Release: 6.0.66833
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64
Synopsis: Minor problems with resizing undocked windows

Description
Resizing of undocked windows now works more or less correctly (build 66833).
However, I still noted the following (much more minor) problems:

1. When resizing an undocked window via the lower left or right corner via the
   window border, one must put the cursor right on the outermost border, as
   expected.  But when resizing via one of the upper corners, the cursor only
   turns into an "L" with an arrow pointing into the corner when it is a few
   pixels inside the outermost border.

2. When resizing an undocked window via the inner border, the cursor turns into
   a double arrow pointed in the direction of the resize.  But as the cursor
   is moved to resize the window, the cursor often changes back to the standard
   single arrow pointing 30 degrees west of North.  This is confusing since it
   appears that moving the mouse won't resize the window any more, but it does.

3. When an undocked window is resized via the inner border from any corner
   except the bottom left corner, the window moves in addition to changing
   size.  This is very undesirable.

Resizing of undocked windows is much improved in this build, but I hope the
above issues can be worked out as well.
To Reproduce

										
Problem Report Interactions
From:larryl    Date:2007/03/15    Status: Closed    Download   
For the 1st problem, now we only use the border we implemented, so the outer border (Linux system standard border) is not existed anymore, only the inner border exists for new versions. So this problem will not happen in new versions.

For the 2nd problem, it's fixed at resivion#67313,  the cursor will no changing during resizing.

For the 3rd problem, at revision#67313, when resizing, we make sure undocked window position not changed.

So, they are all fixed now. ;) Thanks for your report.