Nri.Ui.HighlighterTool.V1

Patch changes

change the high-contrast styles to be border-based instead of background-color based
adds buildMarkerWithoutRounding for inline comment styling
changes the 4px of side padding on the marker to 2px of padding+negative margin

type Tool kind

= Marker (MarkerModel kind)

| Eraser EraserModel

Tool that can be used on a highlighter

type alias EraserModel =

{ hoverClass : List Style

, hintClass : List Style

, startGroupClass : List Style

, endGroupClass : List Style

}

EraserModel

buildEraser : EraserModel

The default eraser.

type alias MarkerModel kind =

{ hoverClass : List Style

, hintClass : List Style

, startGroupClass : List Style

, endGroupClass : List Style

, highlightClass : List Style

, hoverHighlightClass : List Style

, kind : kind

, name : Maybe String

}

A marker is used to highlight highlightables. A user can define a kind, which contains the meaning of a selection. Marker is also used to define styling of a selection.

buildMarker :

{ highlightColor : Color

, hoverColor : Color

, hoverHighlightColor : Color

, kind : kind

, name : Maybe String

}

-> MarkerModel kind

buildMarkerWithBorder :

{ highlightColor : Color

, kind : kind

, name : Maybe String

}

-> MarkerModel kind

Typically, this marker is only used for static highlighters.

buildMarkerWithoutRounding :

{ highlightColor : Color

, hoverColor : Color

, hoverHighlightColor : Color

, kind : kind

, name : Maybe String

}

-> MarkerModel kind

Typically, this style of marker is used for inline comments.

NoRedInk/noredink-ui/22.8.1

Nri.Ui.HighlighterTool.V1

Patch changes

Modules