diff options
| author |  Lubomir I. Ivanov <neolit123@gmail.com> | 2017-07-15 01:04:16 +0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-07-28 07:31:11 -0700 |
| commit | 0f0a953727db5a63e03956c493261c03dc6be2f2 (patch) | |
| tree | 519c1681e70ad4f263d6c967922444d5cdbd927e /android | |
| parent | 70ab9372960270c62ab2effe93a06fcc0e472dc6 (diff) | |
| download | subsurface-0f0a953727db5a63e03956c493261c03dc6be2f2.tar.gz | |
mainwindow: rename the variable 'globeGps' to 'mapWidget'
This is needed by the transition to the new map widget. Also
generalizes the variable name.
Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
Diffstat (limited to 'android')
0 files changed, 0 insertions, 0 deletions