Include source for custom widgets we're reimplementing.

lua/lean/infoview/components.lua

@@ -557,7 +557,16 @@ function components.user_widgets_at(bufnr, params, sess, use_widgets)
   elseif sess == nil then
     sess = require('lean.rpc').open(bufnr, params)
   end
-  return widgets.render_response(sess:getWidgets(params.position))
+  return widgets.render_response(
+    ---@param widget UserWidget
+    sess:getWidgets(params.position),
+    function(widget)
+      return sess:getWidgetSource({
+        pos = params.position,
+        hash = widget.javascriptHash,
+      }).sourcetext
+    end
+  )
 end
 
 return components

lua/lean/widgets.lua

@@ -35,12 +35,15 @@ end
 --- @return Widget
 function Widget.unsupported(id)
   return Widget:new {
-    element = function()
+    element = function(_, props)
       local message = dedent [[
         %q is not a supported Lean widget type.
+
         If you think it could be, please file an issue with lean.nvim!
+
+        Props: %s
       ]]
-      vim.notify_once(message:format(id), vim.log.levels.DEBUG)
+      vim.notify_once(message:format(id, vim.inspect(props)), vim.log.levels.DEBUG)
     end,
   }
 end
@@ -97,8 +100,10 @@ return {
 
   ---Render the given response to one or more TUI elements.
   ---@param response? UserWidgets
+  ---@param source_of function(widget: UserWidget): string
   ---@return Element[]? elements
-  render_response = function(response)
+  ---@diagnostic disable-next-line: unused-local
+  render_response = function(response, source_of)
     if response then
       ---@param each UserWidgetInstance
       return vim