PR# 12053 Edit menu items insensitive when should not be

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/02/13
Class: Bug
Severity: Non-critical
Number: 12053
Release: 6.0.66595
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64
Synopsis: Edit menu items insensitive when should not be

Description
The Toggle Line Numbers item on the Edit menu always seems to be insensitive,
whether the class is read-only or not.  For a read-only class, the Go To
menu item of the Edit menu is insensitive but should not be.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:ted_eiffel   
											Date:2007/02/14   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
It has been fixed and available post 66659.
Thanks for reporting.