PR# 17317 ES_GRID scrolling not working properly

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: High
Date: 2011/02/03
Class: Bug
Severity: Critical
Number: 17317
Release: 6.7.8.5123
Confidential: No
Status: Closed
Responsible: jfiat_es
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US) AppleWebKit/534.10 (KHTML, like Gecko) Chrome/8.0.552.237 Safari/534.10
Synopsis: ES_GRID scrolling not working properly

Description
If you have a few errors (19 in the attached screenshot) and that you expand the first error so that it is bigger than the visible area, you will basically prevents the wheel scrolling from working.

The issue is that the algorithm used to find out if you are at the bottom relies on the visible rows rather than on the actual rows.
To Reproduce

										
Problem Report Interactions
From:jfiat_es    Date:2011/02/10    Status: Closed    Download   
Fixed by rev#85571

From:manus_eiffel    Date:2011/02/03    Download   
Attachments for problem report #17317

Attachment: scrolling.png     Size:22079