Skip to content
This repository has been archived by the owner on Nov 23, 2024. It is now read-only.

Language server goto definition #191

Open
jmackie opened this issue Feb 11, 2023 · 0 comments
Open

Language server goto definition #191

jmackie opened this issue Feb 11, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@jmackie
Copy link
Member

jmackie commented Feb 11, 2023

Started in https://github.com/ditto-lang/ditto/pull/187/files#diff-dff337be55ccc96c732b7dbc7da2ecc2714e0627e00347e82dd0e75d72fc5cc6 but the implementation needs to be finished and tests added.

@jmackie jmackie added the enhancement New feature or request label Feb 11, 2023
@jmackie jmackie mentioned this issue Feb 11, 2023
6 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
Status: No status
Development

No branches or pull requests

1 participant