void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.Updater.QueryFrequency.Key)
{
ScheduleCheckForUpdatesPeriodicallyInBackground();
}
}
static void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.UI.Theme.ThemeName.Key)
{
TryChangeTheme(Prefs.UI.Theme.ThemeName.GetValue());
}
}
void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.UI.Font.Key)
{
UpdateFont();
}
}
void ObservePreferenceChange(PreferenceChange obj)
{
if (obj.Key == Prefs.Repl.SaveHistory.Key)
{
ReplHistory = new History(history: ReplHistory?.Entries,
persist: Prefs.Repl.SaveHistory.GetValue());
}
}
void ObservePreferenceChange(PreferenceChange obj)
{
if (obj.Key == Prefs.Updater.Channel.Key)
{
Close();
App.CheckForUpdatesInBackground(userInitiated: true);
}
}
void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.Telemetry.Enabled.Key)
{
enabled = Prefs.Telemetry.Enabled.GetValue();
if (!enabled)
{
Log.Info(TAG, "Telemetry disabled.");
httpClient = null;
}
else if (httpClient == null)
{
Log.Info(TAG, "Telemetry will be enabled after restart.");
}
}
}
void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.Telemetry.Enabled.Key)
{
enabled = Prefs.Telemetry.Enabled.GetValue();
if (!enabled)
{
Log.Info(TAG, "Telemetry disabled.");
appInsightsClient = null;
// Not bothering to Dispose channel, because that will trigger a synchronous Flush
channel = null;
}
else if (appInsightsClient == null)
{
Log.Info(TAG, "Telemetry will be enabled after restart.");
}
}
}
void ObservePreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.UI.Font.Key)
{
OnPropertyChanged(nameof(WorkbookFontSize));
}
else if (change.Key == Prefs.Editor.ShowLineNumbers.Key)
{
OnPropertyChanged(nameof(ShowLineNumbers));
}
else if (change.Key == Prefs.Submissions.ShowExecutionTimings.Key)
{
OnPropertyChanged(nameof(ShowSubmissionExecutionTimings));
}
else if (change.Key == Prefs.Repl.SaveHistory.Key)
{
OnPropertyChanged(nameof(SaveHistory));
}
else if (change.Key == Prefs.Telemetry.Enabled.Key)
{
OnPropertyChanged(nameof(EnableTelemetry));
}
else if (change.Key == Prefs.Updater.QueryFrequency.Key)
{
OnPropertyChanged(nameof(UpdateQueryFrequency));
}
else if (change.Key == Prefs.Updater.LastQuery.Key)
{
OnPropertyChanged(nameof(UpdateQueryLastRun));
}
else if (change.Key == Prefs.Updater.Channel.Key)
{
OnPropertyChanged(nameof(UpdateChannel));
}
else if (change.Key == Prefs.UI.Theme.ThemeName.Key)
{
OnPropertyChanged(nameof(CurrentTheme));
}
else if (change.Key == Prefs.Submissions.WrapLongLinesInEditor.Key)
{
OnPropertyChanged(nameof(WrapLongLinesInEditor));
}
}
void OnPreferenceChange(PreferenceChange change)
{
if (change.Key == Prefs.UI.Font.Key)
{
UpdateFont();
}
if (change.Key == Prefs.Developer.MonitorCssChanges.Key)
{
if (Prefs.Developer.MonitorCssChanges.GetValue() &&
WebKitPrefs.DeveloperExtrasEnabled)
{
StartMonitoringExternalCssChanges();
}
else
{
StopMonitoringExternalCssChanges();
}
}
}
