diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2016-08-27 12:26:13 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2016-08-27 12:29:08 -0700 |
| commit | 1bf76dd3db9106fe99ee2f4bae7d7ecc4766faef (patch) | |
| tree | 115566dd53815077a5201695073c8886428eba93 /Documentation | |
| parent | f745a25cb7ee9dd2ee4e5e4299c04dc7a14ad35e (diff) | |
| download | subsurface-1bf76dd3db9106fe99ee2f4bae7d7ecc4766faef.tar.gz | |
Settings update: Fix broken UpdateManger logic
In commit b76c1846bbfd ("Settings update: Simplify Update Manager")
the logic for when to show the UpdateManger question to the user got
broken. Unintuitively, a boolean setting actually has three possible
values. True, False, and Unset. This patch fixes things to work as
designed again.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions