PR# 12874 View/Toolbars menu not updated when show/hide toolbar via right-click menu

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/27
Class: Bug
Severity: Serious
Number: 12874
Release: 6.0.68703
Confidential: No
Status: Closed
Responsible: larryl
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3 Solaris 10 on x86
Synopsis: View/Toolbars menu not updated when show/hide toolbar via right-click menu

Description
Right-clicking on the right side of a toolbar brings up a menu which allows one
to show or hide various toolbars.  But showing or hiding a toolbar via this menu
does not update the "checked" state shown in the View/Toolbars menu, which can
lead to great confusion.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/06/01   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This bug is fixed in revision#68774.

Thanks for your report.