Source file skyline_banner_v1.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
open! Core
open! Bonsai_web
open! Bonsai.Let_syntax
module Style = struct
let ( @> ) = Css_gen.( @> )
let banner intent =
Css_gen.box_sizing `Border_box
@> Css_gen.flex_container
~direction:`Row
~align_items:`Center
~justify_content:`Space_between
()
@> Css_gen.row_gap (`Px 12)
@> Css_gen.column_gap (`Px 12)
@> Css_gen.width (`Percent Percent.one_hundred_percent)
@> Css_gen.uniform_padding (`Px 4)
@> Css_gen.uniform_margin (`Px 0)
@> Css_gen.border_radius (`Px 4)
@> Css_gen.border ~style:`Solid ~color:intent ~width:(`Px 1) ()
@> Css_gen.color intent
@> Css_gen.background_color `Inherit
|> Vdom.Attr.style
;;
let banner_with_dropdown intent =
[%css
{|
cursor: pointer;
&:hover {
color: %{Skyline_theme_v1.background#Css_gen.Color} !important;
background-color: %{intent#Css_gen.Color} !important;
}
|}]
;;
let card_title =
Css_gen.box_sizing `Border_box
@> Css_gen.uniform_padding (`Px 4)
@> Css_gen.uniform_margin (`Px 0)
@> Css_gen.min_height (`Px 20)
@> Css_gen.user_select `None
@> Css_gen.text_align `Left
|> Vdom.Attr.style
;;
let full_width_card =
Css_gen.box_sizing `Border_box
@> Css_gen.uniform_padding (`Px 0)
@> Css_gen.uniform_margin (`Px 0)
@> Css_gen.width (`Percent Percent.one_hundred_percent)
|> Vdom.Attr.style
;;
let progress_spinner =
Css_gen.box_sizing `Border_box
@> Css_gen.uniform_padding (`Px 0)
@> Css_gen.margin ~top:(`Px (-2)) ~right:(`Px (-2)) ~bottom:(`Px (-2)) ()
|> Vdom.Attr.style
;;
let content =
Css_gen.box_sizing `Border_box
@> Css_gen.width (`Percent Percent.one_hundred_percent)
@> Css_gen.flex_item ~grow:1.0 ()
@> Css_gen.padding ~left:(`Px 4) ~right:(`Px 4) ~bottom:(`Px 4) ()
@> Css_gen.uniform_margin (`Px 0)
|> Vdom.Attr.style
;;
end
let component' ~intent ~icon message =
Vdom.Node.div
~attrs:[ Style.banner intent ]
[ Skyline_flex_v1.row
~gap:(`Px 4)
~align:Center
[ Codicons.svg icon; Skyline_text_v1.span' message ]
]
;;
let component ~intent ~icon message = component' ~intent ~icon [ Vdom.Node.text message ]
let with_actions ~dropdown ~intent ~icon message (local_ graph) =
let =
let%arr dropdown in
not (List.is_empty dropdown)
in
let =
match%sub dropdown with
| [] -> return Vdom.Attr.empty
| _ :: _ -> Skyline_context_menu_v1.component ~on_click:(return true) dropdown graph
in
let%arr and and intent and icon and message in
let message =
Skyline_flex_v1.row
~gap:(`Px 4)
~align:Center
[ Codicons.svg icon; Skyline_text_v1.span message ]
in
Vdom.Node.button
~attrs:
[ Style.banner intent
; context_menu
; (if has_menu then Style.banner_with_dropdown intent else Vdom.Attr.empty)
]
[ message; (if has_menu then Codicons.svg Chevron_down else Vdom.Node.none) ]
;;
let collapsible
?state:external_state
?intent
?(actions = Bonsai.return [])
?(loading = Bonsai.return false)
~title
content
graph
=
let state, set_state =
match external_state with
| Some state -> state
| None -> Bonsai.state `Expanded graph
in
let%arr intent = Bonsai.transpose_opt intent
and title
and actions
and loading
and state
and set_state
and content in
let label_and_actions =
let actions =
let toggle_minimized =
let on_click =
match state with
| `Expanded -> set_state `Collapsed
| `Collapsed -> set_state `Expanded
in
let title =
match state with
| `Expanded -> "hide"
| `Collapsed -> "show"
in
Skyline_button_v1.link ~size:Small ~on_click title
in
match state with
| `Collapsed -> toggle_minimized
| `Expanded ->
let actions =
match actions with
| [] -> []
| _ :: _ ->
let actions =
List.map actions ~f:(fun (title, on_click) ->
Skyline_button_v1.link ~size:Small ~on_click title)
in
Skyline_divider_v1.interpunct :: actions
in
Skyline_flex_v1.row ~align:Center ~gap:(`Px 4) (toggle_minimized :: actions)
in
let loading =
match state with
| `Collapsed when loading ->
Skyline_flex_v1.row
~attrs:[ Style.progress_spinner ]
[ Skyline_loading_indicator_v1.spinner () ]
| _ -> Vdom.Node.none
in
Skyline_flex_v1.row
~align:Center
~gap:(`Px 8)
~attrs:[ Style.card_title ]
[ Skyline_text_v1.span ~size:Small title; actions; loading ]
in
Skyline_card_v1.column
?intent
~attrs:
[ Vdom.Attr.style (Css_gen.color Skyline_theme_v1.primary)
; (match state with
| `Expanded -> Style.full_width_card
| `Collapsed -> Vdom.Attr.empty)
]
~align:Stretch
~justify:Space_between
~padding:(`Px 0)
(match state with
| `Expanded ->
[ (if loading then Skyline_loading_indicator_v1.runner () else Vdom.Node.none)
; label_and_actions
; Skyline_flex_v1.column
~attrs:[ Style.content ]
~align:Stretch
~justify:Flex_start
[ content ]
]
| `Collapsed -> [ label_and_actions ])
;;