PR# 14117 Status bar message about `ignoring breakpoints' is not refreshed when status is changed

Problem Report Summary
Submitter: manus_eiffel
Category: Debugger
Priority: Medium
Date: 2008/03/21
Class: Bug
Severity: Serious
Number: 14117
Release: 6.2.7.2684
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.12) Gecko/20080201 Firefox/2.0.0.12
Synopsis: Status bar message about `ignoring breakpoints' is not refreshed when status is changed

Description
Start your application with `ignoring breakpoints' while executing the application change the status to not ignore the breakpoints. The status bar message is unchanged and you think you are still ignoring breakpoints and this is not the case.
To Reproduce

										
Problem Report Interactions
From:jfiat_es    Date:2008/04/11    Status: Closed    Download   
Fixed by part of commit rev#73015