Fixing trace window tab behavior.

Perry Werneck
1 parent b1c35cef
Showing 1 changed file with 18 additions and 0 deletions Show diff stats
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
 	{
	@@ -114,6 +114,24 @@		@@ -114,6 +114,24 @@
114	gtk_notebook_page_num(GTK_NOTEBOOK(parent),terminal)+1	114	gtk_notebook_page_num(GTK_NOTEBOOK(parent),terminal)+1
115	);	115	);
116		116
		117	+ gtk_notebook_set_tab_detachable(
		118	+ GTK_NOTEBOOK(parent),
		119	+ trace,
		120	+ gtk_notebook_get_tab_detachable(
		121	+ GTK_NOTEBOOK(parent),
		122	+ terminal
		123	+ )
		124	+ );
		125	+
		126	+ gtk_notebook_set_tab_reorderable(
		127	+ GTK_NOTEBOOK(parent),
		128	+ trace,
		129	+ gtk_notebook_get_tab_reorderable(
		130	+ GTK_NOTEBOOK(parent),
		131	+ terminal
		132	+ )
		133	+ );
		134	+
117	}	135	}
118	else	136	else
119	{	137	{