HAXY

▀▄ ▀ ▄▀ ▀ ▄▄▄ ▄▀ ▀▀ ▀▀▀▀▄ ▄▀▀▀▀ ▀▀ ▀▀ ▀▀▀▀▀▀ ▀▀▀▀▀▀ ▀▀▄▄▀▀▀▄▄▀▀▀ ▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀ ▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀ ▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▄▀▀ ▀▀▀▀▀ ▀ ▀▀▀▀▀ ▀▀▀▀▀ ▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀ ▀▀▀▀ ▀▀▀▀ ▀▀▀▀▀▀▀ ▀▀▀▀▀▀▄ ▀ ▀▀▀ ▀▀▀ ▀▀▀▀▀▀ ▀▀▀▀▀▀ ▀▀▀ ▀▀ ▀▀▀▀▀▀ ▀▀▀▀▄▀▄ ▀▀ ▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀ ▄▄ ▀▀ ▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀▀ ▀▀▀▄ ▀▀ ▀ ▀▀▀▀▀▄ ▀▀▀▀▀▀▀ ▀▀ ▀ ▀▀▀▀▀▀ ▀▀▀▀▀▀▀▄ ▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄▄▄▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀ ▀▀▀▀▀▀▀ ▀▀▀▀ ▀▀▀▀▀ ▀▀▀▀ ▀▀▀▀ ▀▀▀▀ ▀▀▀▀▀ ▀▀▀▀▀ ▄▀▀▀▀▀▀ ▀▀▀▀▀ ▄▀▀▀▀▄▀▀▀ ▀▀▄▀▄ ▀▀▀▀▀▀▀▀ ▀▀▀▀▀ ▀▀▀▀▀

╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ main_wasm.zig ────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. embed/ event/ test/ ui/ command.zig diff3.zig event.zig fork.zig lib.zig main.zig ╭─────────────────────────────────╮ │main_wasm.zig │ ╰─────────────────────────────────╯ patch.zig serve.zig serve_common.zig serve_http.zig serve_ssh.zig serve_ssh_protocol.zig test.zig testnet.zig try.zig ui.zig web.zig

75 76 const html = try web.generateHtml(allocator, root_ptr, &session); 77 defer allocator.free(html); 78 _setHtml(html.ptr, @intCast(html.len)); 79 80 // emit the editable form overlay on every tick so the wasm layout drives 81 // positions, not just the server's initial render. JS 82 // diffs the result against the previous overlay; an unchanged overlay 83 // leaves the live <form> alone — crucial since wiping it mid-click 84 // would detach the submit button before the browser can dispatch the 85 // form submission. 86 const overlay = try web.generateOverlay(allocator, root_ptr, &session); 87 defer allocator.free(overlay); 88 _setOverlay(overlay.ptr, @intCast(overlay.len)); 89 90 const root_focus = root_ptr.getFocus(); 91 if (root_focus.grandchild_id) |gid| { 92 if (root_focus.children.get(gid)) |child| { 93 // browser-focus the focused native control (text input, submit button 94 // or file picker) so the browser handles typing, Enter-to-submit and 95 // Enter-to-open-the-picker natively. without this the control never 96 // gets focus and Enter falls through to the wasm. 97 switch (child.focus.kind) { 98 .text_input, .text_input_password, .text_area => _focusInput(@intCast(gid)), 99 .custom => |custom| if (std.mem.eql(u8, custom, "submit") or std.mem.startsWith(u8, custom, ui.submit_action_prefix) or std.mem.startsWith(u8, custom, ui.file_input_prefix)) _focusInput(@intCast(gid)), 100 else => {}, 101 } 102 103 // keep the focused widget visible within its own scrollable element. 104 // only fire on an actual focus change so we don't fight the user's 105 // manual scrolling on unrelated ticks. 106 if (gid != last_scrolled_focus_id) { 107 last_scrolled_focus_id = gid; 108 _scrollToFocus(@intCast(gid)); 109 } 110 } 111 } 112 } 113 114 fn onKeyDown(key_code: u32) !void { 115 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 116 const key: Key = switch (key_code) { 117 13 => .enter, 118 33 => .page_up, 119 34 => .page_down, 120 35 => .end, 121 36 => .home, 122 37 => .arrow_left, 123 38 => .arrow_up, 124 39 => .arrow_right, 125 40 => .arrow_down, 126 else => return, 127 }; 128 const root_focus = root_ptr.getFocus(); 129 const focused_before = root_focus.grandchild_id; 130 131 if (key == .enter) { 132 if (root_focus.grandchild_id) |gid| { 133 // follow a cross-page link 134 if (ui.crossPageLink(root_focus, gid, session.data)) |route| { 135 const url = try route.toUrl(&page_arena); 136 _navigate(url.ptr, @intCast(url.len)); 137 return; 138 } 139 // follow a link to bytes the server serves directly 140 if (ui.rawLink(root_focus, gid)) |url| { 141 _navigate(url.ptr, @intCast(url.len)); 142 return; 143 } 144 } 145 } 146 147 try root_ptr.input(allocator, key, root_focus); 148 const focused_after = root_focus.grandchild_id; 149 if (key != .enter and focused_before == focused_after) return; 150 const focus_id = focused_after orelse return; 151 if (ui.inPageLink(root_focus, focus_id, session.data)) |route| session.data.current_page = route; 152 } 153 154 fn onMouseClick(focus_id: usize) !void { 155 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 156 // follow a cross-page link 157 if (ui.crossPageLink(root_ptr.getFocus(), focus_id, session.data)) |route| { 158 const url = try route.toUrl(&page_arena); 159 _navigate(url.ptr, @intCast(url.len)); 160 return; 161 } 162 // the grid suppresses the anchor's own navigation, so follow it here 163 if (ui.rawLink(root_ptr.getFocus(), focus_id)) |url| { 164 _navigate(url.ptr, @intCast(url.len)); 165 return; 166 } 167 try setFocus(focus_id); 168 } 169 170 fn setFocus(focus_id: usize) !void { 171 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 172 const root_focus = root_ptr.getFocus(); 173 root_focus.setFocus(focus_id); 174 if (ui.inPageLink(root_focus, focus_id, session.data)) |route| session.data.current_page = route; 175 } 176 177 fn consoleLog(arg: []const u8) void { 178 _consoleLog(arg.ptr, @intCast(arg.len)); 179 } 180 181 extern fn _consoleLog(arg: [*]const u8, len: u32) void; 182 extern fn _setHtml(arg: [*]const u8, len: u32) void; 183 extern fn _setOverlay(arg: [*]const u8, len: u32) void; 184 extern fn _replaceState(arg: [*]const u8, len: u32) void; 185 extern fn _focusInput(focus_id: u32) void; 186 extern fn _navigate(arg: [*]const u8, len: u32) void; 187 extern fn _scrollToFocus(focus_id: u32) void; 188 /// js calls this first to get a wasm pointer it can write the page json into. 189 export fn _alloc(len: u32) ?[*]u8 { 190 const slice = allocator.alloc(u8, len) catch return null; 191 return slice.ptr; 192 } 193 194 export fn _init(json_ptr: [*]u8, json_len: u32, min_height: u32, max_width: u32) void { 195 const json = json_ptr[0..json_len]; 196 defer allocator.free(json); 197 init(json, min_height, max_width) catch |err| { 198 var buf: [256]u8 = undefined; 199 const str = std.fmt.bufPrint(&buf, "init: {}", .{err}) catch unreachable; 200 consoleLog(str); 201 }; 202 } 203 204 export fn _tick(min_height: u32, max_width: u32) bool { 205 tick(min_height, max_width) catch |err| { 206 var buf: [256]u8 = undefined; 207 const str = std.fmt.bufPrint(&buf, "tick: {}", .{err}) catch unreachable; 208 consoleLog(str); 209 return false; 210 }; 211 return true; 212 } 213 214 export fn _onKeyDown(key_code: u32) void { 215 onKeyDown(key_code) catch |err| { 216 var buf: [256]u8 = undefined; 217 const str = std.fmt.bufPrint(&buf, "onKeyDown: {}", .{err}) catch unreachable; 218 consoleLog(str); 219 }; 220 } 221 222 export fn _onMouseClick(focus_id: u32) void { 223 onMouseClick(focus_id) catch |err| { 224 var buf: [256]u8 = undefined; 225 const str = std.fmt.bufPrint(&buf, "onMouseClick: {}", .{err}) catch unreachable; 226 consoleLog(str); 227 }; 228 } 229 230 export fn _setFocus(focus_id: u32) void { 231 setFocus(focus_id) catch |err| { 232 var buf: [256]u8 = undefined; 233 const str = std.fmt.bufPrint(&buf, "setFocus: {}", .{err}) catch unreachable; 234 consoleLog(str); 235 }; 236 } 237 238 // js calls this when the value of an overlay <input> changes; we replace 239 // the matching TextInput's content with the supplied utf-8 bytes. 240 export fn _setTextInputValue(focus_id: u32, value_ptr: [*]const u8, value_len: u32) void { 241 setTextInputValue(focus_id, value_ptr[0..value_len]) catch |err| { 242 var buf: [256]u8 = undefined; 243 const str = std.fmt.bufPrint(&buf, "setTextInputValue: {}", .{err}) catch unreachable; 244 consoleLog(str); 245 }; 246 } 247 248 fn setTextInputValue(focus_id: u32, bytes: []const u8) !void { 249 const root_ptr = if (root) |*r| r else return error.NotStarted; 250 const root_focus = root_ptr.getFocus(); 251 const child = root_focus.children.get(focus_id) orelse return error.UnknownFocusId; 252 switch (child.focus.kind) { 253 .text_input, .text_input_password, .text_area => {}, 254 else => return error.NotATextInput, 255 } 256 const ti = session.text_inputs.get(focus_id) orelse return error.UnknownFocusId; 257 try ti.setContent(allocator, bytes); 258 // mirror the TTY behavior in Login.View.input: editing an input clears 259 // the stale failure flag so the "(invalid)" label doesn't linger after 260 // the user has typed a correction 261 session.data.login_failure = null; 262 } 263