mosaic.mlx
Mosaic_mlx.Scroll_bar
Companion types for the scroll_bar widget.
scroll_bar
mosaic
mosaic.ui
type orientation = Mosaic_ui.Scroll_bar.orientation
The type for scroll bar orientation: `Vertical or `Horizontal.
`Vertical
`Horizontal