package miaou-core
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Miaou core/widgets (no drivers, no SDL)
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.5.2.tar.gz
md5=60a3b9f181f24572a06a9492532bfdda
sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6
doc/src/miaou_widgets_layout/box_widget.ml.html
Source file box_widget.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 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259(******************************************************************************) (* *) (* SPDX-License-Identifier: MIT *) (* Copyright (c) 2025 Nomadic Labs <contact@nomadic-labs.com> *) (* Copyright (c) 2026 Mathias Bourgoin <mathias.bourgoin@atacama.tech> *) (* *) (******************************************************************************) [@@@warning "-32-34-37-69"] module W = Miaou_widgets_display.Widgets module H = Miaou_helpers.Helpers type border_style = None_ | Single | Double | Rounded | Ascii | Heavy type padding = {left : int; right : int; top : int; bottom : int} type border_colors = { c_top : int option; c_bottom : int option; c_left : int option; c_right : int option; } type border_chars = { tl : string; tr : string; bl : string; br : string; h : string; v : string; } let single = { tl = "\xe2\x94\x8c"; tr = "\xe2\x94\x90"; bl = "\xe2\x94\x94"; br = "\xe2\x94\x98"; h = "\xe2\x94\x80"; v = "\xe2\x94\x82"; } let double = { tl = "\xe2\x95\x94"; tr = "\xe2\x95\x97"; bl = "\xe2\x95\x9a"; br = "\xe2\x95\x9d"; h = "\xe2\x95\x90"; v = "\xe2\x95\x91"; } let rounded = { tl = "\xe2\x95\xad"; tr = "\xe2\x95\xae"; bl = "\xe2\x95\xb0"; br = "\xe2\x95\xaf"; h = "\xe2\x94\x80"; v = "\xe2\x94\x82"; } let heavy = { tl = "\xe2\x94\x8f"; tr = "\xe2\x94\x93"; bl = "\xe2\x94\x97"; br = "\xe2\x94\x9b"; h = "\xe2\x94\x81"; v = "\xe2\x94\x83"; } let ascii_chars = {tl = "+"; tr = "+"; bl = "+"; br = "+"; h = "-"; v = "|"} let resolve_chars style = if Lazy.force W.use_ascii_borders then ascii_chars else match style with | None_ -> ascii_chars | Single -> single | Double -> double | Rounded -> rounded | Heavy -> heavy | Ascii -> ascii_chars let repeat s n = let buf = Buffer.create (max 0 n * String.length s) in for _ = 1 to max 0 n do Buffer.add_string buf s done ; Buffer.contents buf let render ?(title = "") ?(style = Single) ?(padding = {left = 0; right = 0; top = 0; bottom = 0}) ?height ?color ?border_colors ?bg ~width content = let fill s = match bg with | Some c -> W.apply_bg_fill ~bg:c s | None -> W.themed_contextual_fill s in if style = None_ then let inner_w = max 0 width in let content_w = max 0 (inner_w - padding.left - padding.right) in let raw_lines = let base = if content = "" then [""] else String.split_on_char '\n' content in if title = "" then base else W.themed_emphasis title :: base in let pad_left_str = String.make padding.left ' ' in let pad_right_str = String.make padding.right ' ' in let format_line line = let vis = H.visible_chars_count line in let truncated = if vis > content_w then let byte_idx = H.visible_byte_index_of_pos line (max 0 (content_w - 1)) in String.sub line 0 byte_idx ^ "…" else line in let padded = H.pad_to_width truncated content_w ' ' in let inner = pad_left_str ^ padded ^ pad_right_str in fill inner in let content_rows = List.map format_line raw_lines in let empty_row = fill (String.make inner_w ' ') in let top_pad_rows = List.init padding.top (fun _ -> empty_row) in let bottom_pad_rows = List.init padding.bottom (fun _ -> empty_row) in let body_rows = top_pad_rows @ content_rows @ bottom_pad_rows in let body_rows = match height with | None -> body_rows | Some h -> let target = max 0 h in let len = List.length body_rows in if len > target then List.filteri (fun i _ -> i < target) body_rows else if len < target then let extra = List.init (target - len) (fun _ -> empty_row) in body_rows @ extra else body_rows in H.concat_lines body_rows else let bc = resolve_chars style in let inner_w = max 0 (width - 2) in let content_w = max 0 (inner_w - padding.left - padding.right) in (* Color helpers: border_colors takes precedence over color. When no explicit color is provided, use themed border styling. *) let color_with c s = match c with Some col -> W.fg col s | None -> W.themed_border s in let color_top s = match border_colors with | Some {c_top = Some c; _} -> W.fg c s | _ -> color_with color s in let color_bottom s = match border_colors with | Some {c_bottom = Some c; _} -> W.fg c s | _ -> color_with color s in let color_left s = match border_colors with | Some {c_left = Some c; _} -> W.fg c s | _ -> color_with color s in let color_right s = match border_colors with | Some {c_right = Some c; _} -> W.fg c s | _ -> color_with color s in (* Corner colors: use adjacent side colors, preferring top/bottom for corners *) let color_tl s = match border_colors with | Some {c_top = Some c; _} -> W.fg c s | Some {c_left = Some c; _} -> W.fg c s | _ -> color_with color s in let color_tr s = match border_colors with | Some {c_top = Some c; _} -> W.fg c s | Some {c_right = Some c; _} -> W.fg c s | _ -> color_with color s in let color_bl s = match border_colors with | Some {c_bottom = Some c; _} -> W.fg c s | Some {c_left = Some c; _} -> W.fg c s | _ -> color_with color s in let color_br s = match border_colors with | Some {c_bottom = Some c; _} -> W.fg c s | Some {c_right = Some c; _} -> W.fg c s | _ -> color_with color s in (* Top border *) let top_border = if title <> "" then let t = W.themed_emphasis (" " ^ title ^ " ") in let t_vis = H.visible_chars_count t in let remaining = max 0 (inner_w - 1 - t_vis) in color_tl bc.tl ^ color_top bc.h ^ t ^ color_top (repeat bc.h remaining) ^ color_tr bc.tr else color_tl bc.tl ^ color_top (repeat bc.h inner_w) ^ color_tr bc.tr in (* Bottom border *) let bottom_border = color_bl bc.bl ^ color_bottom (repeat bc.h inner_w) ^ color_br bc.br in (* Content lines *) let raw_lines = if content = "" then [""] else String.split_on_char '\n' content in let pad_left_str = String.make padding.left ' ' in let pad_right_str = String.make padding.right ' ' in let format_line line = let vis = H.visible_chars_count line in let truncated = if vis > content_w then let byte_idx = H.visible_byte_index_of_pos line (max 0 (content_w - 1)) in String.sub line 0 byte_idx ^ "\xe2\x80\xa6" else line in let padded = H.pad_to_width truncated content_w ' ' in let inner = pad_left_str ^ padded ^ pad_right_str in let inner = fill inner in color_left bc.v ^ inner ^ color_right bc.v in let content_rows = List.map format_line raw_lines in (* Add padding rows *) let empty_row = let inner = String.make inner_w ' ' |> fill in color_left bc.v ^ inner ^ color_right bc.v in let top_pad_rows = List.init padding.top (fun _ -> empty_row) in let bottom_pad_rows = List.init padding.bottom (fun _ -> empty_row) in let body_rows = top_pad_rows @ content_rows @ bottom_pad_rows in (* Apply height constraint *) let body_rows = match height with | None -> body_rows | Some h -> let target = max 0 (h - 2) in let len = List.length body_rows in if len > target then List.filteri (fun i _ -> i < target) body_rows else if len < target then let extra = List.init (target - len) (fun _ -> empty_row) in body_rows @ extra else body_rows in H.concat_lines ([top_border] @ body_rows @ [bottom_border]) let () = Miaou_registry.register ~name:"box" ~mli:[%blob "box_widget.mli"] ()
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>