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