PR# 16272 Auto-complete for detached items should indicate detached when void-safety on

Problem Report Summary
Submitter: clemahieu
Category: EiffelStudio
Priority: Medium
Date: 2009/09/17
Class: Bug
Severity: Non-critical
Number: 16272
Release: 6.5
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.1.3) Gecko/20090824 Firefox/3.5.3
Synopsis: Auto-complete for detached items should indicate detached when void-safety on

Description
The auto-complete box for features of detached items should indicate the feature is detached and not offer ". completion" because it's an invalid call.

item: detached ANY

ite
item
item. (auto_complete says detached item)
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions