diff options
| author |  Lubomir I. Ivanov <neolit123@gmail.com> | 2017-07-15 01:38:46 +0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-07-28 07:31:11 -0700 |
| commit | b054c211a1f6641c9b3b2e95c82d1a16024388dd (patch) | |
| tree | 863b2483e00d78c96908287f3f394e6b0ac93394 /desktop-widgets/mapwidget.cpp | |
| parent | 1a5122e8f8275bc8843d7c5932c2b9e0a99f64ad (diff) | |
| download | subsurface-b054c211a1f6641c9b3b2e95c82d1a16024388dd.tar.gz | |
mainwindow: don't remove the "view globe" action from the menu
We now have a map no matter NO_MARBLE.
TODO: rename the action itself.
Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
Diffstat (limited to 'desktop-widgets/mapwidget.cpp')
0 files changed, 0 insertions, 0 deletions