editor-hover path and project-path
The editor hover tuple of 5
(target, position, ast, path, project-path)
does not get the correct path and project-path:( ... , () , ... , "" , "/Users/daco/Documents/workspace-20160825-spoofax/debug/debug.ice2" )
Builders return:
( ... , [] , ... , "debug.ice2" , "eclipse:///debug" )
Spoofax version:
Submitted by Daco Harkes on 22 September 2016 at 14:20Eclipse: org.eclipse.platform.ide 4.6.0.I20160606-1100 Spoofax: org.metaborg.spoofax.eclipse 2.1.0.20160919-225254-master System: Mac OS X x86_64 10.11.6
Issue Log
On 21 December 2016 at 13:04 Hendrik van Antwerpen commented:
Fixed in latest master.
On 21 December 2016 at 13:41 Gabriƫl Konat closed this issue.
Log in to post comments