PR# 12264 Preferences window Name column is initially too narrow

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2007/03/11
Class: Bug
Severity: Non-critical
Number: 12264
Release: 6.0.6.7183
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.2) Gecko/20070219 Firefox/2.0.0.2
Synopsis: Preferences window Name column is initially too narrow

Description
Every time I open Tools | Preferences, the Name column is too narrow to display the contents of the column.

The window's default dimensions were also ridiculously small.

Also, whenever I reopen it, it remembers its previous size but it keeps positioning itself in strange places, so I always have to move it before I start using it.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

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

										

                                            
											
										 	
It is fixed, thanks for reporting.