PR# 14242 Anchors are not pickable

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2008/04/22
Class: Bug
Severity: Serious
Number: 14242
Release: 6.2.7.3127
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.14) Gecko/20080404 Firefox/2.0.0.14
Synopsis: Anchors are not pickable

Description
If you do the following: `like toto' is not pick and dropable, however if you define `set_toto' after `toto' it works.

	set_toto (a_toto: like toto) is
			--
		do

		end

	toto: STRING is
			--
		do

		end
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions