Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-16 16:56:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

gtk: previous/next tab wraps

Browse Source
This commit is contained in:
Mitchell Hashimoto
2023-02-25 10:53:15 -08:00
parent 6c6a3d6a5d
commit 35af0ef362
1 changed files with 17 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/apprt/gtk.zig
View File

@ -312,10 +312,18 @@ const Window = struct {
fn gotoPreviousTab(self: *Window, surface: *Surface) void { fn gotoPreviousTab(self: *Window, surface: *Surface) void {
const page = getNotebookPage(@ptrCast(*c.GObject, surface.gl_area)) orelse return; const page = getNotebookPage(@ptrCast(*c.GObject, surface.gl_area)) orelse return;
const page_idx = getNotebookPageIndex(page); const page_idx = getNotebookPageIndex(page);
if (page_idx > 0) {
c.gtk_notebook_set_current_page(self.notebook, page_idx - 1); // The next index is the previous or we wrap around.
self.focusCurrentTab(); const next_idx = if (page_idx > 0) page_idx - 1 else next_idx: {
} const max = c.gtk_notebook_get_n_pages(self.notebook);
break :next_idx max -| 1;
};
// Do nothing if we have one tab
if (next_idx == page_idx) return;
c.gtk_notebook_set_current_page(self.notebook, next_idx);
self.focusCurrentTab();
} }
/// Go to the next tab for a surface. /// Go to the next tab for a surface.
@ -323,10 +331,11 @@ const Window = struct {
const page = getNotebookPage(@ptrCast(*c.GObject, surface.gl_area)) orelse return; const page = getNotebookPage(@ptrCast(*c.GObject, surface.gl_area)) orelse return;
const page_idx = getNotebookPageIndex(page); const page_idx = getNotebookPageIndex(page);
const max = c.gtk_notebook_get_n_pages(self.notebook) -| 1; const max = c.gtk_notebook_get_n_pages(self.notebook) -| 1;
if (page_idx < max) { const next_idx = if (page_idx < max) page_idx + 1 else 0;
c.gtk_notebook_set_current_page(self.notebook, page_idx + 1); if (next_idx == page_idx) return;
self.focusCurrentTab();
} c.gtk_notebook_set_current_page(self.notebook, next_idx);
self.focusCurrentTab();
} }
/// Go to the specific tab index. /// Go to the specific tab index.