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();
         }
     }
 }