PR# 12812 Locked status of tools, toolbars, editors is wrong after opening saved layout

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/21
Class: Bug
Severity: Serious
Number: 12812
Release: 6.0.68548
Confidential: No
Status: Closed
Responsible:
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: Locked status of tools, toolbars, editors is wrong after opening saved layout

Description
Delete ~/.es directory.
Compile sample project.
Select View/Save Layout As and save layout as "weasel".
Select View/Lock the Toolbars.
Select View/Lock the Tools.
Select View/Lock the Editors.
Select View/Open Layout and open layout "weasel".
Now the View menu shows the toolbars, tools and editors as being locked
   but they are not in fact locked.  Very confusing.
Select View/Lock the Toolbars to unlock them.  Now they are locked.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/05/30   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This bug is fixed in revision#68775.

Thanks for your report.