blob: 0218db2a8e6acc6447e5505968878572dd553ef7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
local proto = require 'proto'
local client = require 'client'
local json = require "json"
local config = require 'config'
local function refresh()
if not client.isReady() then
return
end
if not client.getAbility 'workspace.semanticTokens.refreshSupport' then
return
end
log.debug('Refresh semantic tokens.')
proto.request('workspace/semanticTokens/refresh', json.null)
end
config.watch(function (uri, key, value, oldValue)
if key == '' then
refresh()
end
if key:find '^Lua.runtime'
or key:find '^Lua.workspace'
or key:find '^Lua.semantic'
or key:find '^files' then
refresh()
end
end)
return {}
|