Closed mickael-menu closed 3 years ago
The JSON key was uri instead of originSelectionRange.
uri
originSelectionRange
(BTW I've been using glsp in this PR, if you're interested: https://github.com/mickael-menu/zk/pull/21)
glsp
Thank you!!! (And sorry for the typos...)
The JSON key was
uri
instead oforiginSelectionRange
.(BTW I've been using
glsp
in this PR, if you're interested: https://github.com/mickael-menu/zk/pull/21)