PR# 13406 Positions pick and drop and external editors

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2007/09/13
Class: Feature Request
Severity: Serious
Number: 13406
Release: 6.0.6.9201
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6
Synopsis: Positions pick and drop and external editors

Description
When pick and droping a position in the feature tool you can drop it in the editor and it highlights where it is actually called. When you do that with an external editor it simply opens the class where it is called but it does not scroll to the position which is frustrating (at least for me).
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2007/09/14   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed by revision rev#70325 .
Maybe there is better way to get the line number from an AST_NODE, so the code might be optimized.