PR# 12189 Undocked window comes back very small when shown again

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/03/04
Class: Bug
Severity: Serious
Number: 12189
Release: 6.0.67057
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64
Synopsis: Undocked window comes back very small when shown again

Description
Undocking a window, closing it and then showing it again (e.g., showing
Clusters window via Clusters button) causes it to reappear in the same
location.  However, its size is not preserved.  When it reappears it is
very small (just barely bigger than the title bar alone).
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2007/03/13   
											
											Download   
										

										

                                            
											
										 	
I would like to confirm that this bug is fixed, but I cannot because I cannot
undock windows any longer (build 67261).  The Search window comes up undocked
when I click the Search button, but I can't move it or resize it.  I hope this
can be fixed soon because it makes it difficult to test.


											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2007/03/09   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
At revision#67153, this bug is fixed.
Thanks for your report.