╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Users.zig ────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
188 pub fn getGrid(self: View) ?Grid { 189 return self.box.getGrid(); 190 } 191 192 pub fn getFocus(self: *View) *Focus { 193 return self.box.getFocus(); 194 } 195 196 // up leaves the tab from the search box 197 pub fn atTop(self: *View) bool { 198 return self.headerActive(); 199 } 200 201 pub fn focusHeader(self: *View, root_focus: *Focus) void { 202 root_focus.setFocus(self.searchBox().getFocus().id); 203 } 204 }; 205