PR# 17711 Add a callback when maximizing/minimizing/restoring

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2011/06/28
Class: Feature Request
Severity: Serious
Number: 17711
Release: 6.8
Confidential: No
Status: Open
Responsible: misterieking
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/534.30 (KHTML, like Gecko) Chrome/12.0.742.100 Safari/534.30
Synopsis: Add a callback when maximizing/minimizing/restoring

There is currently a bug in the editor when it is maximized. If you put the cursor where it would be hidden when the editor is restored, and then restore, the editor is still showing the top but not the area where the cursor is.

If the editor could connect to some maximize/minimize/restore actions it could automatically scroll to the right place.
To Reproduce

Problem Report Interactions