def row_head

cswap-bend-cli@0.1.0.0 · tui/card.bend:137

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

137# The indent, the label and the bar of a row.
138def row_head(+w: M.Win, +lw: Nat, +bw: Nat, +thr: Maybe<&2, U32>, +stale: Bool) -> List<&2, F.Seg>:
139  cat([plain("    "), muted(F.pad_right(M.win_label(w), lw) ++ " ")], F.bar(M.win_pct(w), bw, thr, stale))