From: SmallJoker <mk939@ymail.com>
Date: Mon, 7 Aug 2017 12:53:58 +0000 (+0200)
Subject: Singleplayer: Pause game in the key change dialog
X-Git-Tag: 5.0.0~977
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=154b61ac5ea03ca5a5a3db8922ae832a8a574933;p=minetest.git

Singleplayer: Pause game in the key change dialog
Fixes #6201. @t0ny2 pointed to the right place. Thanks!
---

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 @@ class GUIKeyChangeMenu : public GUIModalMenu
 
 	bool OnEvent(const SEvent &event);
 
+	bool pausesGame() { return true; }
+
 private:
 	void init_keys();