diff options
| author | SmallJoker <mk939@ymail.com> | 2017-08-07 14:53:58 +0200 |
|---|---|---|
| committer | SmallJoker <mk939@ymail.com> | 2017-08-07 15:29:46 +0200 |
| commit | 154b61ac5ea03ca5a5a3db8922ae832a8a574933 (patch) | |
| tree | 3d3fe0d7c265ab8690b32aedfe1c3b05ebc49023 /src/guiKeyChangeMenu.h | |
| parent | 8325d7f48230a653668eecf17652f9410510a3fd (diff) | |
| download | minetest-154b61ac5ea03ca5a5a3db8922ae832a8a574933.tar.gz minetest-154b61ac5ea03ca5a5a3db8922ae832a8a574933.tar.bz2 minetest-154b61ac5ea03ca5a5a3db8922ae832a8a574933.zip | |
Singleplayer: Pause game in the key change dialog
Fixes #6201. @t0ny2 pointed to the right place. Thanks!
Diffstat (limited to 'src/guiKeyChangeMenu.h')
| -rw-r--r-- | src/guiKeyChangeMenu.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/guiKeyChangeMenu.h b/src/guiKeyChangeMenu.h index 74f9344a2..84d3fffcd 100644 --- a/src/guiKeyChangeMenu.h +++ b/src/guiKeyChangeMenu.h @@ -58,6 +58,8 @@ public: bool OnEvent(const SEvent &event); + bool pausesGame() { return true; } + private: void init_keys(); |