PR# 17712 Allow modifying the layout of the editor area in maximized mode

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2011/06/28
Class: Feature Request
Severity: Serious
Number: 17712
Release: 6.8
Confidential: No
Status: Open
Responsible: ted_eiffel
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/534.30 (KHTML, like Gecko) Chrome/12.0.742.100 Safari/534.30
Synopsis: Allow modifying the layout of the editor area in maximized mode

Description
Currently if one wants to modify the layout of the editor when maximized, one has to do restore first to do its modification, instead of being able to do them in maximized mode.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions