private void optionsChanged(object sender, OptionsChangedEventArgs e) { if (e.GetOption <int>("checkUpdateTime") != 0) { checkUpdate_timer.Interval = Options.TimeSelections[e.GetOption <int>("checkUpdateTime")] * 60000; checkUpdate_timer.Start(); } else { checkUpdate_timer.Stop(); } if (e.GetOption <bool>("discordRichPresence")) { if (!client.IsInitialized) { client = new DiscordRpcClient("718605351263535106"); client.Logger = new ConsoleLogger() { Level = LogLevel.Warning }; client.Initialize(); client.SetPresence(RichPresence); } } else { if (client.IsInitialized) { client.Deinitialize(); } } }