Module Mosaic_mlx.SpinnerSource

Companion types for the spinner widget.

type frame_set = Mosaic_ui.Spinner.frame_set = {
  1. frames : string array;
    (*

    Characters cycled as animation frames.

    *)
  2. interval : float;
    (*

    Time in seconds between frame advances.

    *)
}

The type for animation frame sets.

val dots : frame_set

Braille dot pattern (10 frames, 80 ms).

val dots2 : frame_set

Braille block pattern (8 frames, 80 ms).

val line : frame_set

ASCII line rotation (4 frames, 130 ms).

val arc : frame_set

Quarter-circle arc (6 frames, 100 ms).

val bounce : frame_set

Braille bounce (4 frames, 120 ms).

val circle : frame_set

Circle animation (3 frames, 120 ms).

val default_frame_set : frame_set

default_frame_set is dots.