PR# 12256 Cannot close Dependency tool

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/03/11
Class: Bug
Severity: Serious
Number: 12256
Release: 6.0.67183
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: Cannot close Dependency tool

Description
The Dependency tool cannot be closed in build 67183.  As far as I can tell,
all other tools can be closed.  To reproduce, click on the "X" in Dependency tool
when it is docked in main window.  Nothing happens.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:ted_eiffel   
											Date:2007/03/11   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
It has been fixed.
Thank you for reporting.