From c20e3fb43e860c1bdff7e20e56248e49e422c039 Mon Sep 17 00:00:00 2001
From: Kent Rasmussen <kent_rasmussen@sil.org>
Date: Mon, 6 Sep 2021 09:27:18 +0100
Subject: [PATCH] store settings to file also, on manual refresh (avoids
 running a sort for this only)

---
 main.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.py b/main.py
index 74c3f63b..b5e15b6a 100755
--- a/main.py
+++ b/main.py
@@ -2604,6 +2604,7 @@ def updateprofilename(profile,name):
             #run this in any case, rather than running it not at all, or twice
             self.checkcheck()
         def refresh(event=None):
+            self.storesettingsfile()
             self.checkcheck()
         self.boardtitle()
         # leaderheader=Frame(self.leaderboard) #someday, make this not scroll...