From 58f2040333c782daf4afcf6efe7b4c9410e2f7a5 Mon Sep 17 00:00:00 2001
From: Perry Werneck <perry.werneck@gmail.com>
Date: Tue, 17 Aug 2021 22:28:42 -0300
Subject: [PATCH] Persisting trace file name.

---
 src/terminal/widget.c | 1 +
 1 file changed, 1 insertion(+), 0 deletions(-)

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