╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Logout.zig ───────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
113 // /logout redirect also lands 114 try self.session.navigate(self.session.data.current_page.pageRoot()); 115 } 116 117 pub fn clearGrid(self: *View) void { 118 self.center.clearGrid(); 119 } 120 121 pub fn getGrid(self: View) ?Grid { 122 return self.center.getGrid(); 123 } 124 125 pub fn getFocus(self: *View) *Focus { 126 return self.center.getFocus(); 127 } 128 129 pub fn atTop(self: View) bool { 130 return self.center.child.box.focus.child_id == self.center.child.box.children.keys()[ansi_index]; 131 } 132 }; 133 134 fn ansiLabel(session: *const ui.Session) []const u8 { 135 return if (session.data.enable_ansi) "turn off ANSI art" else "turn on ANSI art"; 136 } 137