PR# 15528 Broken search
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: High
Date: 2009/03/19
Class: Bug
Severity: Critical
Number: 15528
Release: 6.4.7.7597
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.7) Gecko/2009021910 Firefox/3.0.7 (.NET CLR 3.5.30729)
Synopsis: Broken search
Description
I was told that often the search does not work when you do `Ctrl+F' then type something and then hit return to find the next occurrence of what you are searching. The behavior is that hitting return as no effect, it gets stuck on the last found occurrence. If you then click on `match case', and then hitting return, it works and go to the next occurrence.
To Reproduce
I'm not sure, it took me about 50 attempts before getting into that state. But some do it almost 100% of the time.
Problem Report Interactions
Forgot to say that when it gets stuck the two icons: - Bottom reached - Initial match reached are present in the UI.
