package grace
A fancy diagnostics library that allows your compilers to exit with grace
Install
Dune Dependency
Authors
Maintainers
Sources
grace-0.2.0.tbz
sha256=821df54882c9253eac69f47bcf3a71ffdc61c77fdae42587c32aada5b56cfeae
sha512=007afa83251da3ddecd874e120ea89dce0253c387a64a5fece69069d3486ec5eb6c82d6bf0febaf23dd322bd9eaadc2f7882e33f05a2e1fa18a41294e7dc3ba1
doc/grace.ansi_renderer/Grace_ansi_renderer/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)"
>