╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ UserNotifications.zig ────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
271 272 // arriving from the page's tabs lands on the sub header, not the content 273 pub fn focusHeader(self: *View, root_focus: *Focus) bool { 274 root_focus.setFocus(self.control_ids[self.view_index]); 275 return true; 276 } 277 278 pub fn clearGrid(self: *View) void { 279 self.box.clearGrid(); 280 } 281 282 pub fn getGrid(self: View) ?Grid { 283 return self.box.getGrid(); 284 } 285 286 pub fn getFocus(self: *View) *Focus { 287 return self.box.getFocus(); 288 } 289 }; 290