mirror of
https://github.com/urbit/shrub.git
synced 2024-12-24 20:47:27 +03:00
language-server: ignore /sys files
This commit is contained in:
parent
3c8e73cbc8
commit
410fe58975
@ -275,12 +275,14 @@
|
|||||||
++ handle-did-open
|
++ handle-did-open
|
||||||
|= item=text-document-item:lsp-sur
|
|= item=text-document-item:lsp-sur
|
||||||
^- (quip card _state)
|
^- (quip card _state)
|
||||||
|
=/ =path
|
||||||
|
(uri-to-path:build uri.item)
|
||||||
|
?: ?=(%sys -.path)
|
||||||
|
`state
|
||||||
=/ buf=wall
|
=/ buf=wall
|
||||||
(to-wall (trip text.item))
|
(to-wall (trip text.item))
|
||||||
=. bufs
|
=. bufs
|
||||||
(~(put by bufs) uri.item buf)
|
(~(put by bufs) uri.item buf)
|
||||||
=/ =path
|
|
||||||
(uri-to-path:build uri.item)
|
|
||||||
:_ state
|
:_ state
|
||||||
%+ weld
|
%+ weld
|
||||||
(give-rpc-notification (get-diagnostics uri.item))
|
(give-rpc-notification (get-diagnostics uri.item))
|
||||||
|
Loading…
Reference in New Issue
Block a user