NoRedInk/noredink-ui/21.10.0

NOTE: the latest version is 35.9.3

Nri.Ui.HighlighterToolbar.V1

Bar with markers for choosing how text will be highlighted in a highlighter.

{ onSetEraser : msg
, onChangeTag : tag -> msg
, getColor :
tag -> { extras | colorSolid : Color, colorLight : Color }
, getName : tag -> String
}
-> { model | currentTool : Maybe tag, tags : List tag }
-> Html msg

View renders each marker and an eraser. This is usually used with a Highlighter.