Outdated infoview updates can override the most recent one. about lean.nvim HOT 2 CLOSED

  -- Fetch goal state information from the server.                                                                                                                                                                                             
  function lsp.plain_goal(bufnr, handler)                                                                                                                                                                                                      
    -- Shift forward by 1, since in vim it's easier to reach word                                                                                                                                                                              
    -- boundaries in normal mode.                                                                                                                                                                                                              
    local params = vim.lsp.util.make_position_params()                                                                                                                                                                                         
    params.position.character = params.position.character + 1                                                                                                                                                                                  
    local id_map, cancel = vim.lsp.buf_request(bufnr, "$/lean/plainGoal", params, handler)                                                                                                         
    cancel()                                                                                                                                                                                                                                   
    -- This doesn't work either:                                                                                                                                                                                                               
    --                                                                                                                                                                                                                                         
    --for client_id, req_id in pairs(id_map) do                                                                                                                                                                                                
    --  vim.lsp.get_client_by_id(client_id).cancel_request(req_id)                                                                                                                                                                             
    --end                                                                                                                                                                                                                                      
  end