Persisting trace file name.

Perry Werneck
1 parent d36bcfdb
Showing 1 changed file with 1 additions and 0 deletions Show diff stats
src/terminal/widget.c
@@ -79,6 +79,7 @@ static const gchar *persistent_properties[] = {
 		"colors",
 		"selection_flags",
 		"logfile",
+		"tracefile",
 		NULL
 };
	@@ -79,6 +79,7 @@ static const gchar *persistent_properties[] = {		@@ -79,6 +79,7 @@ static const gchar *persistent_properties[] = {
79	"colors",	79	"colors",
80	"selection_flags",	80	"selection_flags",
81	"logfile",	81	"logfile",
		82	+ "tracefile",
82	NULL	83	NULL
83	};	84	};
84		85