public void ShowManual()
 {
     try
     {
         if (File.Exists(Settings.ManualPath))
         {
             FileIOHelper.OpenFileWithShell(Settings.ManualPath);
         }
         else
         {
             Log.Trace($"Cannot open {Settings.ManualPath}. Check if the manual is available there", LogEventType.Error);
         }
     }
     catch (Exception ex)
     {
         Log.Trace($"Cannot open {Settings.ManualPath}. Check if the manual is available there", ex, LogEventType.Error);
     }
 }