lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

[jsonrpc] i[18:51:41.348] [18] timed-out request ':textDocument/hover'

Open fblanqui opened this issue 2 years ago • 0 comments

Emacs interface very slow because of timeouts. *EGLO events* buffer: jsonrpc-request: jsonrpc-error: "request id=17 failed:", (jsonrpc-error-message . "Timed out"). Using lambdapi-mode 20240130.1533, jsonrpc 1.0.24, eglot 1.17.

fblanqui avatar Feb 02 '24 17:02 fblanqui