diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-01-27 20:50:42 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-01-27 20:50:42 +0800 |
| commit | c2027c12ada4b588182c499d250fb69e55dd408b (patch) | |
| tree | f820b9f44b84fc7d63ddab3b5f175dff91e716a9 /script/workspace | |
| parent | 5f90b1c69ebb935dc46a55039fc3cf414e3be009 (diff) | |
| download | lua-language-server-c2027c12ada4b588182c499d250fb69e55dd408b.zip | |
clean up code
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 76dbd195..07a53370 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -425,6 +425,10 @@ function m.awaitReady() end end +function m.isReady() + return m.ready == true +end + files.watch(function (ev, uri) if ev == 'close' and m.isIgnored(uri) |