package forester
A tool for tending mathematical forests
Install
dune-project
Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/forester.language_server/Forester_lsp/Semantic_tokens/index.html
Module Forester_lsp.Semantic_tokens
Source
Source
val pp_delta_token :
Ppx_deriving_runtime.Format.formatter ->
delta_token ->
Ppx_deriving_runtime.unit
Source
val node_to_tokens :
Forester_core.Code.node Forester_core.Range.located ->
'a ->
'b ->
'c list
Source
val semantic_tokens_delta :
Forester_core.Code.node Forester_core.Range.located list ->
Lsp.Types.SemanticTokensDelta.t
Source
val tokenize_document :
Lsp.Types.TextDocumentIdentifier.t ->
Lsp.Types.SemanticTokens.t option
Source
val tokenize_document_delta :
Lsp.Types.TextDocumentIdentifier.t ->
Lsp.Types.SemanticTokensDelta.t option
Source
val on_delta_request :
Lsp.Types.SemanticTokensDeltaParams.t ->
[ `SemanticTokens of Lsp.Types.SemanticTokens.t
| `SemanticTokensDelta of Lsp.Types.SemanticTokensDelta.t ]
option
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>