package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/forester.language_server/Forester_lsp/index.html
Module Forester_lsp
Source
Perform the LSP initialization handshake. https://microsoft.github.io/language-server-protocol/specifications/specification-current/#initialize
Perform the LSP shutdown sequence. See https://microsoft.github.io/language-server-protocol/specifications/specification-current/#exit
Main Event Loop
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page