~/jendhub

def room

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

import cswap-bend-cli@0.1.0.0/tui/card.bend as Card
import Base
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

133# Columns left for the suffix after indent, label, bar, percent and gap.
134def room(+v: M.View, +lw: Nat, +bw: Nat) -> Nat:
135  Nat.sub(U32.to_nat(view_width(v)), Nat.add(Nat.add(4n, lw), Nat.add(Nat.add(1n, bw), 7n)))

Uses (6)

Used by (1)