diff options
Diffstat (limited to 'src/lib/config.h')
| -rw-r--r-- | src/lib/config.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/lib/config.h b/src/lib/config.h index 582e90cf9..afa22ab68 100644 --- a/src/lib/config.h +++ b/src/lib/config.h @@ -122,6 +122,7 @@ public: GROK, #endif CINEMAS_FILE, + ENABLE_CRASH_REPORTING, OTHER }; @@ -689,6 +690,10 @@ public: return _layout_for_short_screen; } + bool enable_crash_reporting() { + return _enable_crash_reporting; + } + /* SET (mostly) */ void set_master_encoding_threads(int n) { @@ -1265,6 +1270,10 @@ public: maybe_set(_layout_for_short_screen, layout); } + void set_enable_crash_reporting(bool error) { + maybe_set(_enable_crash_reporting, error, ENABLE_CRASH_REPORTING); + } + void changed(Property p = OTHER); boost::signals2::signal<void (Property)> Changed; @@ -1512,6 +1521,7 @@ private: int _player_http_server_port; bool _relative_paths; bool _layout_for_short_screen; + bool _enable_crash_reporting; #ifdef DCPOMATIC_GROK Grok _grok; |
