From a2050f55b58e5990ebfc33ed9ae4db90c7bf3f19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9C=80=E8=90=8C=E5=B0=8F=E6=B1=90?= <sumneko@hotmail.com>
Date: Wed, 7 Jul 2021 15:01:25 +0800
Subject: cleanup

---
 script/workspace/workspace.lua | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'script/workspace/workspace.lua')

diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua
index b50ed42b..d426f6b5 100644
--- a/script/workspace/workspace.lua
+++ b/script/workspace/workspace.lua
@@ -535,4 +535,14 @@ files.watch(function (ev, uri)
     end
 end)
 
+config.watch(function (key, value, oldValue)
+    if key:find '^Lua.runtime'
+    or key:find '^Lua.workspace'
+    or key:find '^files' then
+        if value ~= oldValue then
+            m.reload()
+        end
+    end
+end)
+
 return m
-- 
cgit v1.2.3