1.1 --- a/Server/Settings.cs	Mon Aug 22 13:20:54 2016 +0200
     1.2 +++ b/Server/Settings.cs	Thu Aug 25 00:42:09 2016 +0200
     1.3 @@ -18,6 +18,7 @@
     1.4  //
     1.5  
     1.6  using System;
     1.7 +using System.Diagnostics;
     1.8  
     1.9  namespace SharpDisplayManager.Properties {
    1.10      
    1.11 @@ -43,23 +44,23 @@
    1.12  
    1.13          private void PropertyChangedEventHandler(object sender, System.ComponentModel.PropertyChangedEventArgs e)
    1.14          {
    1.15 -            Console.WriteLine($"Settings: property changed {e.PropertyName}");
    1.16 +            Trace.WriteLine($"Settings: property changed {e.PropertyName}");
    1.17              Default.Save();
    1.18          }
    1.19  
    1.20          private void SettingChangingEventHandler(object sender, System.Configuration.SettingChangingEventArgs e) {
    1.21              // Add code to handle the SettingChangingEvent event here.
    1.22 -            Console.WriteLine($"Settings: changing {e.SettingKey}.{e.SettingName}");
    1.23 +            Trace.WriteLine($"Settings: changing {e.SettingKey}.{e.SettingName}");
    1.24          }
    1.25  
    1.26          private void SettingsLoadedEventHandler(object sender, System.Configuration.SettingsLoadedEventArgs e)
    1.27          {
    1.28 -            Console.WriteLine($"Settings: loaded {e.Provider.ApplicationName}");
    1.29 +            Trace.WriteLine($"Settings: loaded {e.Provider.ApplicationName}");
    1.30          }
    1.31  
    1.32          private void SettingsSavingEventHandler(object sender, System.ComponentModel.CancelEventArgs e) {
    1.33              // Add code to handle the SettingsSaving event here.
    1.34 -            Console.WriteLine("Settings: saving");
    1.35 +            Trace.WriteLine("Settings: saving");
    1.36          }
    1.37      }
    1.38  }