+ void set_log_types (int t) {
+ maybe_set (_log_types, t);
+ }
+
+#ifdef DCPOMATIC_WINDOWS
+ void set_win32_console (bool c) {
+ maybe_set (_win32_console, c);
+ }
+#endif
+
+ void clear_history () {
+ _history.clear ();
+ changed ();
+ }
+
+ void add_to_history (boost::filesystem::path p);
+
+ void changed (Property p = OTHER);
+ boost::signals2::signal<void (Property)> Changed;
+
+ void write () const;