diff options
| author | Sergeanur <s.anureev@yandex.ua> | 2020-05-05 18:04:43 +0300 |
|---|---|---|
| committer | Sergeanur <s.anureev@yandex.ua> | 2020-05-05 18:04:43 +0300 |
| commit | c2b9ddc5b8935dcd8de593c918f50886e0400319 (patch) | |
| tree | 99f4d7dec983e7ad6f4071cc259c8c0de2eda2e2 /src/core/Frontend.h | |
| parent | 9960c411933f9a804eb5f6840d75ad00fd255252 (diff) | |
Revert "Remove Miami stuff"
This reverts commit 9960c411933f9a804eb5f6840d75ad00fd255252.
Diffstat (limited to 'src/core/Frontend.h')
| -rw-r--r-- | src/core/Frontend.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/core/Frontend.h b/src/core/Frontend.h index 3286f275..c27e5239 100644 --- a/src/core/Frontend.h +++ b/src/core/Frontend.h @@ -624,6 +624,10 @@ public: void LoadAllTextures(); void LoadSettings(); void MessageScreen(const char *); +#ifdef MIAMI + //--MIAMI: TODO: implement the second argument + void MessageScreen(const char *str, bool) { MessageScreen(str); } +#endif void PickNewPlayerColour(); void PrintBriefs(); static void PrintErrorMessage(); |