╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ UserNotifications.zig ────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
266 pub fn focusHeader(self: *View, root_focus: *Focus) bool { 267 root_focus.setFocus(self.control_ids[self.view_index]); 268 return true; 269 } 270 271 pub fn clearGrid(self: *View) void { 272 self.box.clearGrid(); 273 } 274 275 pub fn getGrid(self: View) ?Grid { 276 return self.box.getGrid(); 277 } 278 279 pub fn getFocus(self: *View) *Focus { 280 return self.box.getFocus(); 281 } 282 }; 283