PR# 14474 Vertical scroll bar on Objects window is too small

Problem Report Summary
Submitter: randyjohn
Category: EiffelStudio
Priority: Medium
Date: 2008/06/16
Class: Bug
Severity: Non-critical
Number: 14474
Release: 6.2.7.3753
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.2; WOW64; SV1; .NET CLR 1.1.4322; .NET CLR 2.0.50727; .NET CLR 3.0.04506.30; InfoPath.1; .NET CLR 3.0.04506.648)
Synopsis: Vertical scroll bar on Objects window is too small

Description
Often, the vertical scroll bar on the Objects window is sized for fewer lines than are actually in the window.  When you scroll to the bottom and release, the scroll bar is resized correctly (sometimes even before you release).  It would be a heck of a lot nicer if this just worked.
   Randy
To Reproduce

										
Problem Report Interactions