package linol
LSP server library
Install
Dune Dependency
Authors
Maintainers
Sources
linol-0.10.tbz
sha256=174bb8cad5b8b0c260d62b0a85da13c4f5caba4fcee042ee58284b09de7896ea
sha512=77460788407c72a33fbe289ec9c78421117543594b3524a5c8fe836f0e272c5ceb1e1074b91c1d1f476f89b75b6f63847a8021675a782ff36457c9626121a7f4
doc/linol.lsp/Linol_lsp/Server_notification/index.html
Module Linol_lsp.Server_notification
Source
Source
type t =
| PublishDiagnostics of Types.PublishDiagnosticsParams.t
| ShowMessage of Types.ShowMessageParams.t
| LogMessage of Types.LogMessageParams.t
| LogTrace of Types.LogTraceParams.t
| TelemetryNotification of Import.Json.t
| CancelRequest of Linol_jsonrpc.Jsonrpc.Id.t
| WorkDoneProgress of Progress.t Types.ProgressParams.t
| UnknownNotification of Linol_jsonrpc.Jsonrpc.Notification.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>