Notify Listeners for ProfileMode
continuous-integration/drone/pr Build is pending
Details
continuous-integration/drone/pr Build is pending
Details
This commit is contained in:
parent
8cd1bec07b
commit
cbe78ff2a7
|
@ -70,7 +70,13 @@ class Settings extends ChangeNotifier {
|
||||||
String get torCacheDir => _torCacheDir;
|
String get torCacheDir => _torCacheDir;
|
||||||
|
|
||||||
// Whether to show the profiling interface, not saved
|
// 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) {
|
set useSemanticDebugger(bool newval) {
|
||||||
this._useSemanticDebugger = newval;
|
this._useSemanticDebugger = newval;
|
||||||
|
|
Loading…
Reference in New Issue