Can adjust the level of detail of Hover (VSCode)

Author: sumneko

.vscode/launch.json

@@ -26,7 +26,7 @@
 			"type": "lua",
 			"request": "attach",
 			"stopOnEntry": false,
-			"address": "127.0.0.1:11428",
+			"address": "127.0.0.1:11413",
 			"outputCapture": [
 			],
 			"sourceFormat": "string",

.vscode/settings.json

@@ -5,7 +5,7 @@
         "--develop=true",
         "--dbgport=11413",
         "--loglevel=trace",
-        "--shownode",
+        //"--shownode",
         //"--lazy",
     ],
 }

changelog.md

@@ -3,6 +3,9 @@
 ## Unreleased
 <!-- Add all new changes here. They will be moved under a version at release -->
 
+## 3.13.4
+* `CHG` Can adjust the level of detail of Hover (VSCode)
+
 ## 3.13.3
 * `CHG` Update Love2d version
 * `CHG` Improve type infer of `table.unpack` and `unpack`

script/config/template.lua

@@ -353,7 +353,7 @@ local template = {
     ['Lua.hover.viewString']                = Type.Boolean >> true,
     ['Lua.hover.viewStringMax']             = Type.Integer >> 1000,
     ['Lua.hover.viewNumber']                = Type.Boolean >> true,
-    ['Lua.hover.previewFields']             = Type.Integer >> 50,
+    ['Lua.hover.previewFields']             = Type.Integer >> 10,
     ['Lua.hover.enumsLimit']                = Type.Integer >> 5,
     ['Lua.hover.expandAlias']               = Type.Boolean >> true,
     ['Lua.semantic.enable']                 = Type.Boolean >> true,

script/core/hover/init.lua

@@ -15,6 +15,7 @@ local function getHover(source, level)
     local defMark   = {}
     local labelMark = {}
     local descMark  = {}
+    local totalMaxLevel = 0
 
     if source.type == 'doc.see.name' then
         for _, symbol in ipairs(wssymbol(source[1], guide.getUri(source))) do
@@ -33,7 +34,10 @@ local function getHover(source, level)
         defMark[def] = true
 
         if checkLable then
-            local label = getLabel(def, oop, level)
+            local label, maxLevel = getLabel(def, oop, level)
+            if maxLevel and totalMaxLevel < maxLevel then
+                totalMaxLevel = maxLevel
+            end
             if not labelMark[tostring(label)] then
                 labelMark[tostring(label)] = true
                 md:add('lua', label)
@@ -104,7 +108,7 @@ local function getHover(source, level)
         end
     end
 
-    return md
+    return md, totalMaxLevel
 end
 
 local accept = {
@@ -137,7 +141,7 @@ local function getHoverByUri(uri, position, level)
     if not source then
         return nil
     end
-    local hover = getHover(source, level)
+    local hover, maxLevel = getHover(source, level)
     if SHOWSOURCE then
         hover:splitLine()
         hover:add('md', 'Source Info')
@@ -152,7 +156,7 @@ local function getHoverByUri(uri, position, level)
             deep = 1,
         }))
     end
-    return hover, source
+    return hover, source, maxLevel
 end
 
 return {

script/core/hover/label.lua

@@ -48,7 +48,7 @@ local function asValue(source, title, level)
     local ifr     = vm.getInfer(source)
     local type    = ifr:view(guide.getUri(source))
     local literal = ifr:viewLiterals()
-    local cont    = buildTable(source, level)
+    local cont, maxLevel = buildTable(source, level)
     local pack = {}
     pack[#pack+1] = title
     pack[#pack+1] = name .. ':'
@@ -70,7 +70,7 @@ local function asValue(source, title, level)
     if cont then
         pack[#pack+1] = cont
     end
-    return table.concat(pack, ' ')
+    return table.concat(pack, ' '), maxLevel
 end
 
 ---@async

script/core/hover/table.lua

@@ -161,16 +161,13 @@ end
 ---@async
 ---@param level integer
 ---@return string?
+---@return integer?
 return function (source, level)
-    if level <= 0 then
-        return nil
-    end
     local uri = guide.getUri(source)
     local maxFields = config.get(uri, 'Lua.hover.previewFields')
     if maxFields <= 0 then
         return nil
     end
-    maxFields = maxFields * level
 
     local node = vm.compileNode(source)
     for n in node:eachObject() do
@@ -193,9 +190,15 @@ return function (source, level)
         return nil
     end
 
-    local reachMax = #keys - maxFields
-    if #keys > maxFields then
-        for i = maxFields + 1, #keys do
+    local maxLevel = math.ceil(math.sqrt(#keys / maxFields))
+    if level <= 0 then
+        return nil, maxLevel
+    end
+
+    local finalMaxFields = maxFields * level * level
+    local reachMax = #keys - finalMaxFields
+    if #keys > finalMaxFields then
+        for i = finalMaxFields + 1, #keys do
             map[keys[i]] = nil
             keys[i] = nil
         end
@@ -225,5 +228,5 @@ return function (source, level)
     --    result = ('\n--%s\n%s'):format(lang.script.HOVER_TABLE_TIME_UP, result)
     --end
 
-    return result
+    return result, maxLevel
 end

script/provider/provider.lua

@@ -362,7 +362,7 @@ m.register 'textDocument/hover' {
             return nil
         end
         local pos = converter.unpackPosition(state, params.position)
-        local hover, source = core.byUri(uri, pos, 1)
+        local hover, source, maxLevel = core.byUri(uri, pos, params.level or 1)
         if not hover or not source then
             return nil
         end
@@ -372,6 +372,7 @@ m.register 'textDocument/hover' {
                 kind  = 'markdown',
             },
             range = converter.packRange(state, source.start, source.finish),
+            maxLevel = maxLevel,
         }
     end
 }