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

gtk: tab reordering, hide tab bar with one tab, etc.

Browse Source
This commit is contained in:
Mitchell Hashimoto
2023-02-24 16:13:15 -08:00
parent ad11ec145c
commit a1a754530f
1 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/apprt/gtk.zig
View File

@ -210,6 +210,8 @@ const Window = struct {
const notebook = @ptrCast(*c.GtkNotebook, notebook_widget); const notebook = @ptrCast(*c.GtkNotebook, notebook_widget);
self.notebook = notebook; self.notebook = notebook;
c.gtk_notebook_set_tab_pos(notebook, c.GTK_POS_TOP); c.gtk_notebook_set_tab_pos(notebook, c.GTK_POS_TOP);
c.gtk_notebook_set_scrollable(notebook, 1);
c.gtk_notebook_set_show_tabs(notebook, 0);
// Create our add button for new tabs // Create our add button for new tabs
const notebook_add_btn = c.gtk_button_new_from_icon_name("list-add-symbolic"); const notebook_add_btn = c.gtk_button_new_from_icon_name("list-add-symbolic");
@ -264,6 +266,14 @@ const Window = struct {
return error.GtkAppendPageFailed; return error.GtkAppendPageFailed;
} }
// Tab settings
c.gtk_notebook_set_tab_reorderable(self.notebook, gl_area, 1);
// If we have multiple tabs, show the tab bar.
if (c.gtk_notebook_get_n_pages(self.notebook) > 1) {
c.gtk_notebook_set_show_tabs(self.notebook, 1);
}
// Set the userdata of the close button so it points to this page. // Set the userdata of the close button so it points to this page.
const page = c.gtk_notebook_get_page(self.notebook, gl_area) orelse const page = c.gtk_notebook_get_page(self.notebook, gl_area) orelse
return error.GtkNotebookPageNotFound; return error.GtkNotebookPageNotFound;
@ -307,10 +317,15 @@ const Window = struct {
const self = userdataSelf(ud.?); const self = userdataSelf(ud.?);
c.gtk_notebook_remove_page(self.notebook, page_idx); c.gtk_notebook_remove_page(self.notebook, page_idx);
// If we have no more tabs left we close the window
const remaining = c.gtk_notebook_get_n_pages(self.notebook); const remaining = c.gtk_notebook_get_n_pages(self.notebook);
if (remaining == 0) { switch (remaining) {
c.gtk_window_destroy(self.window); // If we have no more tabs we close the window
0 => c.gtk_window_destroy(self.window),
// If we have one more tab we hide the tab bar
1 => c.gtk_notebook_set_show_tabs(self.notebook, 0),
else => {},
} }
} }