HAXY

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

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

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

.. Fork/ Home/ Repo/ User/ widget/ Fork.zig Home.zig NewRepo.zig NewUser.zig NotFound.zig Quit.zig Repo.zig SubTitle.zig Title.zig Unauthorized.zig ╭─────────────────────────────────╮ │User.zig │ ╰─────────────────────────────────╯ UserKeys.zig UserLogin.zig UserNotifications.zig UserSettings.zig input.zig timestamp.zig widget.zig

430 } 431 for (data.repos) |repo| 432 // clicking a repo opens its page; the "a:" prefix makes the web 433 // renderer emit an <a href="/alice:foo"> anchor. 434 try items.append(aa, .{ 435 .text = if (repo.event.description.len == 0) repo.event.name else try aa.print("{s} - {s}", .{ repo.event.name, repo.event.description }), 436 .link = try aa.print("a:/{s}:{s}", .{ data.user.name, repo.event.name }), 437 .bottom_label = if (repo.event.read_access == .private) "(private)" else "", 438 }); 439 if (data.repos_next_start) |next_start| { 440 var next = route; 441 next.user_repos.start = next_start; 442 try items.append(aa, .{ .text = "next →", .link = try aa.print("a:{s}", .{try next.toUrl(&arena)}) }); 443 } 444 try list.setItems(allocator, items.items); 445 446 try box.children.put(allocator, list.getFocus().id, .{ .widget = .{ .flow_box_scroll = list }, .rect = null, .min_size = null }); 447 } 448 449 // search results start in the box so the term can be refined right away 450 box.getFocus().child_id = box.children.keys()[if (data.repos_search != null) header_index else list_index]; 451 return .{ .box = box, .data = data, .session = session }; 452 } 453 454 pub fn deinit(self: *ReposView, allocator: std.mem.Allocator) void { 455 self.box.deinit(allocator); 456 } 457 458 pub fn build(self: *ReposView, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 459 self.clearGrid(); 460 // clear the incoming min height so the list scrolls within what's left 461 try self.box.build(allocator, .{ 462 .min_size = .{ .width = null, .height = null }, 463 .max_size = constraint.max_size, 464 }, root_focus); 465 } 466 467 pub fn input(self: *ReposView, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 468 const direction = inp.vertDirection(key); 469 if (self.headerActive()) { 470 const search_box = self.searchBox(); 471 if (direction == .down) { 472 // the empty message has nothing to focus 473 if (!self.data.reposEmpty()) root_focus.setFocus(self.listScroll().getFocus().id); 474 return; 475 } 476 if (key == .enter) { 477 const text = try search_box.text(allocator); 478 defer allocator.free(text); 479 return self.submit(text); 480 } 481 return search_box.input(allocator, key, root_focus); 482 } 483 // up from the first row reaches the search box 484 if (direction == .up and self.listScroll().atTop()) return self.focusHeader(root_focus); 485 try self.listScroll().input(allocator, key, root_focus); 486 } 487 488 // the repos narrowed to `text` from the first window. an empty box on an 489 // unsearched page has nothing to clear. 490 fn submit(self: *ReposView, text: []const u8) !void { 491 if (text.len == 0 and self.data.repos_search == null) return; 492 const route = reposRoute(self.data.user.name) orelse return; 493 try self.session.navigate(route.withSearch(text) orelse return); 494 } 495 496 fn searchBox(self: *ReposView) *ui.widget.SearchBox { 497 return &self.box.children.values()[header_index].widget.box.children.values()[0].widget.search_box; 498 } 499 500 fn listScroll(self: *ReposView) *ui.widget.FlowBox.Scroll { 501 return &self.box.children.values()[list_index].widget.flow_box_scroll; 502 } 503 504 fn headerActive(self: *ReposView) bool { 505 return self.box.getFocus().child_id == self.box.children.keys()[header_index]; 506 } 507 508 pub fn clearGrid(self: *ReposView) void { 509 self.box.clearGrid(); 510 } 511 512 pub fn getGrid(self: ReposView) ?Grid { 513 return self.box.getGrid(); 514 } 515 516 pub fn getFocus(self: *ReposView) *Focus { 517 return self.box.getFocus(); 518 } 519 520 // up leaves the tab from the search box 521 pub fn atTop(self: *ReposView) bool { 522 return self.headerActive(); 523 } 524 525 pub fn focusHeader(self: *ReposView, root_focus: *Focus) void { 526 root_focus.setFocus(self.searchBox().getFocus().id); 527 } 528 }; 529 530 // the first window of `name`'s repos 531 fn reposRoute(name: []const u8) ?ui.RoutablePage { 532 return .{ .user_repos = .{ .name = ui.RoutablePage.Array(evt.User.name_max_len).from(name) orelse return null } }; 533 } 534