diff options
| author | Carl Hetherington <cth@carlh.net> | 2018-10-09 20:20:59 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2018-10-09 20:20:59 +0100 |
| commit | 23f2dc3bfb94930b938281c7f1e5663b761fa508 (patch) | |
| tree | dd295cd45925133ce186d26bdc47eec6169960e3 /src/lib | |
| parent | 4042290c541734f529979ed45c19b0623a1d99c2 (diff) | |
Quell config-save warning when we're only trying to save history.
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/config.cc | 2 | ||||
| -rw-r--r-- | src/lib/config.h | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/lib/config.cc b/src/lib/config.cc index 1d83f0a25..eb13112d2 100644 --- a/src/lib/config.cc +++ b/src/lib/config.cc @@ -1083,7 +1083,7 @@ Config::add_to_history_internal (vector<boost::filesystem::path>& h, boost::file h.pop_back (); } - changed (); + changed (HISTORY); } bool diff --git a/src/lib/config.h b/src/lib/config.h index a470bf391..94690a727 100644 --- a/src/lib/config.h +++ b/src/lib/config.h @@ -78,6 +78,7 @@ public: SOUND_OUTPUT, INTERFACE_COMPLEXITY, PLAYER_DCP_DIRECTORY, + HISTORY, #ifdef DCPOMATIC_VARIANT_SWAROOP PLAYER_BACKGROUND_IMAGE, #endif |