Clocksource: use a better clock if available.

[minetest.git] / src / modalMenu.h

diff --git a/src/modalMenu.h b/src/modalMenu.h
index 251b7aa3b60a86af18524631f8377621974320dd..d5e975a87d5242b429fba5fb6fc6c475a28a2cd7 100644 (file)
--- a/src/modalMenu.h
+++ b/src/modalMenu.h
@@ -21,6 +21,9 @@ with this program; if not, write to the Free Software Foundation, Inc.,
 #define MODALMENU_HEADER
 
 #include "irrlichttypes_extrabloated.h"
+#ifdef HAVE_TOUCHSCREENGUI
+#include "touchscreengui.h"
+#endif
 
 class GUIModalMenu;
 
@@ -93,6 +96,8 @@ class GUIModalMenu : public gui::IGUIElement
 
                WARNING: THIS DEALLOCATES THE MENU FROM MEMORY. Return
                immediately if you call this from the menu itself.
+
+               (More precisely, this decrements the reference count.)
        */
        void quitMenu()
        {
@@ -101,6 +106,10 @@ class GUIModalMenu : public gui::IGUIElement
                Environment->removeFocus(this);
                m_menumgr->deletingMenu(this);
                this->remove();
+#ifdef HAVE_TOUCHSCREENGUI
+               if (g_touchscreengui)
+                       g_touchscreengui->show();
+#endif
        }
 
        void removeChildren()