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>
This commit is contained in:
Joakim Bygdell 2017-02-04 10:13:58 +01:00 committed by Dirk Hohndel
parent 6518b0db45
commit d4dbd0bee7
5 changed files with 23 additions and 2 deletions

View file

@ -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;