╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ UserSettings.zig ─────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭ find file ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╮ ╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╮ │ │ │http│ ssh │ │ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╯ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╯
243 fn formBox(self: *View) *wgt.Box(ui.Widget) { 244 return &self.formScroll().child.center.child.box; 245 } 246 247 pub fn clearGrid(self: *View) void { 248 self.box.clearGrid(); 249 } 250 251 pub fn getGrid(self: View) ?Grid { 252 return self.box.getGrid(); 253 } 254 255 pub fn getFocus(self: *View) *Focus { 256 return self.box.getFocus(); 257 } 258 259 // up leaves the view from the first control 260 pub fn atTop(self: *View, root_focus: *Focus) bool { 261 return root_focus.grandchild_id == self.control_ids[0]; 262 } 263 }; 264