Open AbhinavMir opened 3 months ago
https://github.com/rems-project/sail/tree/sail2/editors/vscode
On Thu, 21 Mar 2024 at 03:47, AbhinavMir @.***> wrote:
The VS Code marketplace just points to this repo, but I couldn't find the actual LSP source. I wanted to fork it and make some changes to it.
Cheers!
— Reply to this email directly, view it on GitHub https://github.com/rems-project/sail/issues/479, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABFMZZQHKRFYVAMW3HXYGXTYZJJ4FAVCNFSM6AAAAABFAVLTR6VHI2DSMVQWIX3LMV43ASLTON2WKOZSGE4TSMBVGU2TQNY . You are receiving this because you are subscribed to this thread.Message ID: @.***>
Thx, would switching to rewriting the LSP using TowerLSP make sense? And have it do more than what it can currently do? While the LSP right now is functional and helpful, I can't help but think we could do more with it, now that I'm working with sail long term.
I have a slightly more advanced extension here: https://github.com/timmmm/sail_vscode
Fixes some minor syntax highlighting issues, and adds very basic ad-hoc go-to-definition that works some of the time.
The VS Code marketplace just points to this repo, but I couldn't find the actual LSP source. I wanted to fork it and make some changes to it.
Cheers!