diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2021-02-14 20:59:02 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2021-02-17 07:26:55 -0800 |
| commit | 5b3cb5898fead63750ea860417d1853710832d34 (patch) | |
| tree | f9dbcd03ddcac45b9f6017b416c764504cf50d07 /android-mobile/AndroidManifest.xml | |
| parent | 80c92acc339237502d1d7f1eeb5d5a8801d6f908 (diff) | |
| download | subsurface-5b3cb5898fead63750ea860417d1853710832d34.tar.gz | |
desktop: fold ApplicationState into MainWindow
The application state is a desktop-only thing. The mobile UI
also has its application state, but that is something completely
different.
The last remaining user of the application state was to flag
whether the planner is active. Since this has all been
unglobalized, the ApplicationState structure can be moved
from core to the desktop UI. And there it can be made local
to the MainWindow class.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'android-mobile/AndroidManifest.xml')
0 files changed, 0 insertions, 0 deletions