NoRedInk/noredink-ui/20.1.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
}
-> { extras | currentTool : Maybe tag, tags : List tag }
-> Html msg

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

(a -> String)
-> (a -> { extras | colorSolid : Color, colorLight : Color })
-> List a
-> Html msg

Render only tags and not eraser without triggering an action