PR# 13464 Expand the error if only one

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2007/10/16
Class: Feature Request
Severity: Serious
Number: 13464
Release: 6.1.7.0574
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7
Synopsis: Expand the error if only one

Description
When you have an error and there is only one, I think it would make a lot of sense to expand it automatically.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2008/12/11   
											
											Download   
										

										

                                            
											
										 	
I don't think it was done, but I would still welcome the addition.