From cbe78ff2a76ac8b2e39003d1badca48630819e5d Mon Sep 17 00:00:00 2001
From: Sarah Jamie Lewis <sarah@openprivacy.ca>
Date: Tue, 18 Apr 2023 14:13:54 -0700
Subject: [PATCH] Notify Listeners for ProfileMode

---
 lib/settings.dart | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/settings.dart b/lib/settings.dart
index e1f94305..74eb7af8 100644
--- a/lib/settings.dart
+++ b/lib/settings.dart
@@ -70,7 +70,13 @@ class Settings extends ChangeNotifier {
   String get torCacheDir => _torCacheDir;
 
   // Whether to show the profiling interface, not saved
-  bool profileMode = false;
+  bool _profileMode = false;
+
+  bool get profileMode => _profileMode;
+  set profileMode(bool newval) {
+    this._profileMode = newval;
+    notifyListeners();
+  }
 
   set useSemanticDebugger(bool newval) {
     this._useSemanticDebugger = newval;