╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Undo.zig ─────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
649 return self.headerActive(); 650 } 651 652 // arriving from the page's tabs lands on the sub header, not the content 653 pub fn focusHeader(self: *View, root_focus: *Focus) bool { 654 root_focus.setFocus(self.headerBox().getFocus().id); 655 return true; 656 } 657 pub fn deinit(self: *View, allocator: std.mem.Allocator) void { 658 self.box.deinit(allocator); 659 } 660 pub fn clearGrid(self: *View) void { 661 self.box.clearGrid(); 662 } 663 pub fn getGrid(self: View) ?Grid { 664 return self.box.getGrid(); 665 } 666 pub fn getFocus(self: *View) *Focus { 667 return self.box.getFocus(); 668 } 669 }; 670