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

Language server hover #192

Open

jmackie opened this issue Feb 11, 2023 · 0 comments

Labels

Member

jmackie commented Feb 11, 2023 •

edited

Loading

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

jmackie added the enhancement label

jmackie added this to Road to 0.1 🚙

jmackie mentioned this issue

Language server 📡 #142

Closed

6 tasks

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.