diff options
| author |  Joakim Bygdell <j.bygdell@gmail.com> | 2017-02-04 17:55:25 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 12:29:51 -0800 |
| commit | 0277d5aacc27893220c5914778896d2b4d14aa82 (patch) | |
| tree | bab2fae1f52703d437e7763cdac5e12c2ef0fd7e /core/save-git.c | |
| parent | 12c33a038f1e2f33b7b0e09e0394684115e630ea (diff) | |
| download | subsurface-0277d5aacc27893220c5914778896d2b4d14aa82.tar.gz | |
Merge informational_prefs into git_prefs
There is no need to have two variables for the same purpose.
[Dirk Hohndel: changed to keep the two separate functions as otherwise
we no longer parse existing repos successfully]
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/save-git.c')
| -rw-r--r-- | core/save-git.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/save-git.c b/core/save-git.c index 0d5a2c74d..d0ae790fa 100644 --- a/core/save-git.c +++ b/core/save-git.c @@ -865,6 +865,12 @@ static void save_settings(git_repository *repo, struct dir *tree) put_string(&b, "prefs TANKBAR\n"); if (prefs.dcceiling) put_string(&b, "prefs DCCEILING\n"); + if (prefs.show_ccr_setpoint) + put_string(&b, "prefs SHOW_SETPOINT\n"); + if (prefs.show_ccr_sensors) + put_string(&b, "prefs SHOW_SENSORS\n"); + if (prefs.pp_graphs.po2) + put_string(&b, "prefs PO2_GRAPH\n"); blob_insert(repo, tree, &b, "00-Subsurface"); } |