PR# 12395 No splitter by default

Problem Report Summary
Submitter: manus_eiffel
Category: Debugger
Priority: Medium
Date: 2007/03/27
Class: Feature Request
Severity: Serious
Number: 12395
Release: 6.0.6.7522
Confidential: No
Status: Closed
Responsible: jfiat_es
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: No splitter by default

Description
I believe that the default layout for the `objects' tab should not have a splitter at all, it is more practical that way. At least, each time I have the opportunity I mentioned this and they say they prefer this layout than the current layout.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2007/03/28   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Changed by revision rev#67589 (and rev#67588)