Skyline_banner_v1Sourceval component :
intent:Skyline_theme_v1.Color.t ->
icon:Codicons.t ->
string ->
Bonsai_web.Vdom.Node.tA simple banner component.
val component' :
intent:Skyline_theme_v1.Color.t ->
icon:Codicons.t ->
Bonsai_web.Vdom.Node.t list ->
Bonsai_web.Vdom.Node.tThe same as component, except it allows its children to be anything. Note that the contents will be in a span.
val with_actions :
dropdown:unit Skyline_context_menu_v1.t Bonsai_web.Bonsai.t ->
intent:Skyline_theme_v1.Color.t Bonsai_web.Bonsai.t ->
icon:Codicons.t Bonsai_web.Bonsai.t ->
string Bonsai_web.Bonsai.t ->
Bonsai_web.Bonsai.graph @ local ->
Bonsai_web.Vdom.Node.t Bonsai_web.Bonsai.tA vertical banner with the ability to specify dropdown actions.
val collapsible :
?state:
([ `Expanded | `Collapsed ] Bonsai_web.Bonsai.t
* ([ `Expanded | `Collapsed ] ->
unit Bonsai_web.Effect.t)
Bonsai_web.Bonsai.t) ->
?intent:Skyline_theme_v1.Color.t Bonsai_web.Bonsai.t ->
?actions:(string * unit Bonsai_web.Effect.t) list Bonsai_web.Bonsai.t ->
?loading:bool Bonsai_web.Bonsai.t ->
title:string Bonsai_web.Bonsai.t ->
Bonsai_web.Vdom.Node.t Bonsai_web.Bonsai.t ->
Bonsai_web.Bonsai.graph @ local ->
Bonsai_web.Vdom.Node.t Bonsai_web.Bonsai.tA full width banner element. The banner comes with the option to expand / collapse it's contents as well as optional inline actions and a loading state.