PR# 12260 Hiding toolbars leaves vacant space at bottom

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2007/03/11
Class: Bug
Severity: Serious
Number: 12260
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: Hiding toolbars leaves vacant space at bottom

Description
I noticed this happening in 6.0.6.7079 too.

Because this latest release has clobbered my preferences, I have to manually do things like hide the toolbars the first time I run it.

When I hide the toolbars, however, a vacant grey space is left at the bottom of the EiffelStudio window, immediately above the status bar.

While I've been writing this report, however, it has self-corrected. Weird. It was compiling at the time.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

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

										

                                            
											
										 	
This bug is fixed at revision#67532.

Thanks for your report.