diff options
author | sumneko <sumneko@hotmail.com> | 2022-03-04 23:39:08 +0800 |
---|---|---|
committer | sumneko <sumneko@hotmail.com> | 2022-03-04 23:39:08 +0800 |
commit | df8d04bbdd3dab65ca593783f97b7f4c56e351d3 (patch) | |
tree | 5f85624ad8c1763afe1fd9256f842068fa84e473 /script | |
parent | 227ad46469c6d740af26a87828cf0a01e574bb4b (diff) | |
download | lua-language-server-df8d04bbdd3dab65ca593783f97b7f4c56e351d3.zip |
add tip
Diffstat (limited to 'script')
-rw-r--r-- | script/service/service.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/script/service/service.lua b/script/service/service.lua index 66143f84..a1db02a8 100644 --- a/script/service/service.lua +++ b/script/service/service.lua @@ -197,6 +197,8 @@ function m.eventLoop() end end +local showStatusTip = math.random(100) == 1 + function m.reportStatus() local info = {} if m.workingClock and time.monotonic() - m.workingClock > 100 then @@ -218,6 +220,9 @@ function m.reportStatus() end tooltips[#tooltips+1] = lang.script('WINDOW_LUA_STATUS_CACHED_FILES', params) tooltips[#tooltips+1] = lang.script('WINDOW_LUA_STATUS_MEMORY_COUNT', params) + if showStatusTip then + tooltips[#tooltips+1] = lang.script('WINDOW_LUA_STATUS_TIP') + end info.tooltip = table.concat(tooltips, '\n') if util.equal(m.lastInfo, info) then |