bamboo idris2-lsp-vscode issues

bamboo / idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

MIT License

29 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

release 0.7.2

#23 srghma opened 6 days ago
0
open documentation about type in browser

#22 srghma opened 1 week ago
0
Cannot run LSP from nested file structure

#21 andrevidela opened 1 month ago
0
Add `refineHole` command

#20 elseLuna closed 1 week ago
2
Please Publish Version 0.7.1 to VSCode Marketplace

#19 lsby closed 3 months ago
4
Highlight idris in markdown files

#18 dunhamsteve closed 1 week ago
0
`Go To Definition` for `import` statements

#17 scarf005 closed 1 week ago
1
Add option to use brief completions (without args)

#16 dunhamsteve closed 3 months ago
1
When using the latest Idris2-lsp, the completion request adds braces around the completed functions

#15 DoctorRyner opened 1 year ago
0
Add initializationOptions to the initialize request.

#14 andorp closed 1 year ago
1
What's the difference between this and idris-vscode

#13 parched opened 1 year ago
1
fix spawn on windows

#12 lsby closed 1 year ago
3
Incorrect default Idris2-lsp path on windows

#11 elseLuna closed 3 months ago
2
Support code actions

#10 andylokandy closed 2 years ago
0
Adding clause to new line if on last line

#9 trevarj opened 2 years ago
0
Support restarting the server

#8 michaelmesser opened 2 years ago
1
Support Idris's custom semantic token types

#7 michaelmesser opened 2 years ago
0
Wrong line numbers (all [1, 1])

#6 iacore closed 2 years ago
10
Cannot communicate with lsp server

#5 KySpace opened 3 years ago
4
[Feature request] Add support for the new `repl` LSP command.

#4 Russoul closed 3 years ago
1
Source file not in directory "." on every file

#3 xiaopong opened 3 years ago
1
Change usage steps in README

#2 alexhumphreys closed 3 years ago
2
chore: small things in wording

#1 Nonius closed 3 years ago
1