Kolja Lampe
|
281af30ec3
|
Workspace is defined by the client. There should be a elm.json here.
|
2019-01-29 10:50:25 +01:00 |
|
Kolja Lampe
|
09acac0690
|
Find elm file
|
2019-01-29 00:31:43 +01:00 |
|
Kolja Lampe
|
fc8e8a4212
|
Add diagnostics
|
2019-01-28 23:44:53 +01:00 |
|
Kolja Lampe
|
9bcf73222e
|
Add completion provider
|
2019-01-28 22:26:46 +01:00 |
|
Kolja Lampe
|
c9aeb63f81
|
Add folding provider
|
2019-01-28 21:42:55 +01:00 |
|
Kolja Lampe
|
3b07a3f52e
|
Update packages
|
2019-01-27 21:38:30 +01:00 |
|
Kolja Lampe
|
376862fb7d
|
Log to info
|
2019-01-27 18:01:16 +01:00 |
|
Kolja Lampe
|
aa62beaa62
|
Init capabilityCalculator
|
2019-01-27 18:01:07 +01:00 |
|
Kolja Lampe
|
e87fac9c31
|
More lint exclusions
|
2019-01-27 17:25:44 +01:00 |
|
Kolja Lampe
|
bc00e6380f
|
More linter fixes
|
2019-01-27 17:23:35 +01:00 |
|
Kolja Lampe
|
d87a6da1b4
|
Fix linting
|
2019-01-27 17:16:55 +01:00 |
|
hlhr
|
e44fec2c8b
|
set version for tree-sitter-elm to 1.0.1
|
2019-01-27 16:08:27 +01:00 |
|
Kolja Lampe
|
7dc791f755
|
Fix prebuild
|
2019-01-27 15:51:14 +01:00 |
|
Kolja Lampe
|
361a813825
|
Fix entry point
|
2019-01-27 15:06:40 +01:00 |
|
Kolja Lampe
|
eaf71adc33
|
Redo client init
|
2019-01-27 14:44:49 +01:00 |
|
Kolja Lampe
|
ea8745fbe8
|
Merge branch 'master' of github.com:Razzeee/elm-language-server
|
2019-01-27 13:03:57 +01:00 |
|
Kolja Lampe
|
492c1c88f4
|
Some cleanup
|
2019-01-27 13:03:47 +01:00 |
|
Kolja Lampe
|
56b4afcdba
|
Add log
|
2019-01-27 13:03:36 +01:00 |
|
hlhr
|
bdf9db9c65
|
add auto generated tslint, add nvmrc v8.15.0
|
2019-01-27 09:49:01 +01:00 |
|
Kolja Lampe
|
3b37e5a85e
|
Fix casing
|
2019-01-27 05:00:56 +01:00 |
|
Kolja Lampe
|
fcec312cf6
|
Align engine version
|
2019-01-26 14:44:18 +01:00 |
|
Kolja Lampe
|
74a1c0b43f
|
Basic tree sitter useage
|
2019-01-26 02:49:37 +01:00 |
|
Kolja Lampe
|
c50f887bca
|
Cleanup
|
2019-01-26 01:52:22 +01:00 |
|
Kolja Lampe
|
d992e39e16
|
Port linter from vscode-elm
|
2018-07-09 21:34:07 +02:00 |
|
Kolja Lampe
|
27626b9b4d
|
Initial commit
|
2018-07-09 02:05:22 +02:00 |
|