diff options
author | Joakim Bygdell <j.bygdell@gmail.com> | 2017-02-04 10:13:58 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 11:59:47 -0800 |
commit | d4dbd0bee78702116cbf389721cff17bfe52dbc2 (patch) | |
tree | 988eb5786645749374613ed3e9db27cf16787c54 /core/dive.c | |
parent | 6518b0db4563839c0adccae32cc4b4f5e9fa27a8 (diff) | |
download | subsurface-d4dbd0bee78702116cbf389721cff17bfe52dbc2.tar.gz |
Save profile settings to git
In order to streamline the view between desktop and mobile we need to save
selected profile related settings to git.
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Diffstat (limited to 'core/dive.c')
-rw-r--r-- | core/dive.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/core/dive.c b/core/dive.c index 945c13426..38ed10761 100644 --- a/core/dive.c +++ b/core/dive.c @@ -3440,6 +3440,14 @@ void set_informational_units(char *units) } } +void set_git_prefs(char *prefs) +{ + if (strstr(prefs, "TANKBAR")) + git_prefs.tankbar = 1; + if (strstr(prefs, "DCCEILING")) + git_prefs.dcceiling = 1; +} + void average_max_depth(struct diveplan *dive, int *avg_depth, int *max_depth) { int integral = 0; |