From 259631b4da8b89f960c2dad937cd29389c41e104 Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Thu, 14 Nov 2019 16:20:06 -0300 Subject: [PATCH] Fixing trace window tab behavior. --- src/trace/property.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+), 0 deletions(-) diff --git a/src/trace/property.c b/src/trace/property.c index 9096a4a..ad318c5 100644 --- a/src/trace/property.c +++ b/src/trace/property.c @@ -114,6 +114,24 @@ gtk_notebook_page_num(GTK_NOTEBOOK(parent),terminal)+1 ); + gtk_notebook_set_tab_detachable( + GTK_NOTEBOOK(parent), + trace, + gtk_notebook_get_tab_detachable( + GTK_NOTEBOOK(parent), + terminal + ) + ); + + gtk_notebook_set_tab_reorderable( + GTK_NOTEBOOK(parent), + trace, + gtk_notebook_get_tab_reorderable( + GTK_NOTEBOOK(parent), + terminal + ) + ); + } else { -- libgit2 0.21.2