diff --git a/src/terminal/widget.c b/src/terminal/widget.c
index 71bf5b5..b54cb42 100644
--- a/src/terminal/widget.c
+++ b/src/terminal/widget.c
@@ -79,6 +79,7 @@ static const gchar *persistent_properties[] = {
 		"colors",
 		"selection_flags",
 		"logfile",
+		"tracefile",
 		NULL
 };
 
--
libgit2 0.21.2