def window_line

cswap-bend-cli@0.1.0.0 · render.bend:103

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/view.bend as View

103def window_line(+label: String, +w: Json.Json, +marker: String, +now: U32, +off: U32) -> Line:
104  Line{label, body.cell(tenths_of(w), View.fresh(w, now, off), marker)}