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