PR# 14640 Window Maximize entry sensitive after Maximize/Minimize/Restore sequence

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2008/07/21

Class: Bug

Severity: Non-critical

Number: 14640

Release: 6.2.73753

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.13) Gecko/20080328 Firefox/2.0.0.13 Solaris 10 on SPARC

Synopsis: Window Maximize entry sensitive after Maximize/Minimize/Restore sequence

Description

The Maximize entry in the menu shown by right-clicking on a window in the
Windows tool can get out of sync with reality.

To Reproduce

Bring up Windows tool.
Right click on main window in list in Windows tool and select Maximize.
   Correctly maximizes the window.
Right click on main window in list in Windows tool and select Minimize.
   Correctly minimizes the window and Windows tool.
Restore window (I clicked on it in the task bar in JDS).
Right click on main window in list in Windows tool.  The Maximize entry should
   be insensitive (since the main window is maximized) but is not.

Problem Report Interactions