Module Mosaic_mlx.Line_numberSource

Companion types for the line_number widget.

type line_color = Mosaic_ui.Line_number.line_color = {
  1. gutter : Ansi.Color.t;
    (*

    Background color of the gutter.

    *)
  2. content : Ansi.Color.t option;
    (*

    Background color of the content area, if any.

    *)
}

The type for per-line background color overrides.

type line_sign = Mosaic_ui.Line_number.line_sign = {
  1. before : string option;
    (*

    Icon rendered before the number.

    *)
  2. after : string option;
    (*

    Icon rendered after the number.

    *)
  3. before_color : Ansi.Color.t option;
    (*

    Color of before.

    *)
  4. after_color : Ansi.Color.t option;
    (*

    Color of after.

    *)
}

The type for gutter sign decorations.