package grace
A fancy diagnostics library that allows your compilers to exit with grace
Install
dune-project
Dependency
Authors
Maintainers
Sources
grace-0.1.0.tbz
sha256=19576d3f32e4a69c7ebad26a801b568a2e3bff24a0e4d5ddf3b8bf4eac479d4c
sha512=436db3699126eec797da1be9f530759547804cc081ed365a75ba8ae9b053c05999ae820d294dd20f6a68e0712084579c585105a3855d71b459efc1367172bd66
doc/grace.rendering/Grace_rendering/Config/Chars/index.html
Module Config.Chars
Source
Source
type t = {
snippet_start : string;
source_border_left : string;
source_border_left_break : string;
note_bullet : string;
single_primary_caret : string;
single_secondary_caret : string;
multi_primary_caret_start : string;
multi_primary_caret_end : string;
multi_secondary_caret_start : string;
multi_secondary_caret_end : string;
multi_top_left : string;
multi_top : string;
multi_bottom_left : string;
multi_bottom : string;
multi_left : string;
pointer_left : string;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>