╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ main_wasm.zig ────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╯
255 const root_focus = root_ptr.getFocus(); 256 const child = root_focus.children.get(focus_id) orelse return error.UnknownFocusId; 257 switch (child.focus.kind) { 258 .text_input, .text_input_password, .text_area => {}, 259 else => return error.NotATextInput, 260 } 261 const ti = session.text_inputs.get(focus_id) orelse return error.UnknownFocusId; 262 try ti.setContent(allocator, bytes); 263 } 264