╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Header.zig ───────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
454 if (inp.moveTab(key, current_tab, self.tab_ids.count())) |new_tab| { 455 const tab_id = self.tab_ids.keys()[new_tab]; 456 root_focus.setFocus(tab_id); 457 const tabs_child = self.tabsChild(); 458 const tabs_rect = tabs_child.rect orelse return; 459 const tab = tabs_child.widget.box.children.get(tab_id) orelse return; 460 var rect = tab.rect orelse return; 461 rect.x += tabs_rect.x; 462 rect.y += tabs_rect.y; 463 self.scroll.scrollToRect(rect); 464 } 465 } 466 467 pub fn clearGrid(self: *View) void { 468 self.scroll.clearGrid(); 469 } 470 471 pub fn getGrid(self: View) ?Grid { 472 return self.scroll.getGrid(); 473 } 474 475 pub fn getFocus(self: *View) *Focus { 476 return self.scroll.getFocus(); 477 } 478 479 pub fn getSelectedIndex(self: View) ?usize { 480 return self.currentTabIndex(); 481 } 482 483 fn currentTabIndex(self: View) ?usize { 484 if (self.scroll.child.box.focus.child_id != self.tabs_id) return null; 485 const child_id = self.tabsChild().widget.box.focus.child_id orelse return null; 486 return self.tab_ids.getIndex(child_id); 487 } 488 489 fn tabsChild(self: *const View) *wgt.Box(ui.Widget).Child { 490 return self.scroll.child.box.children.getPtr(self.tabs_id) orelse unreachable; 491 } 492 }; 493