diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-12-24 08:12:12 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-12-24 08:12:12 -0800 |
| commit | 18f0489188422c3e835e5b6169fa8b65bfe27fdd (patch) | |
| tree | 2c3e1fbf2275b85efdd3cb70cdd3a1332f9df7ac /pref.h | |
| parent | 09096f9af418805560968e1721dcfb83bf9bd511 (diff) | |
| download | subsurface-18f0489188422c3e835e5b6169fa8b65bfe27fdd.tar.gz | |
Make decimals optional in GPS coordinates
As an aside, our resolution is great and certainly high enough for the
real world, but it's easy to get into situations where we don't display
the exact same degrees / minutes / seconds as the user entered...
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'pref.h')
0 files changed, 0 insertions, 0 deletions