private void SaveProperties() { try { Properties.Settings.Default.Save(); } catch (Exception e) { DebugOutput.PrintLn("Failed to save settings in Texplorer: " + e); } }