Render.window_line: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/render.bend as Render Lines 103-104 of cswap-bend-cli@0.1.0.0/render.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/render.bend&start_line=103&end_line=104 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 def window_line(+label: String, +w: Json.Json, +marker: String, +now: U32, +off: U32) -> Line: Line{label, body.cell(tenths_of(w), View.fresh(w, now, off), marker)} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=Line https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=body.cell https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=tenths_of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=fresh