diff options
| author | Zughy <63455151+Zughy@users.noreply.github.com> | 2020-07-14 22:37:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-14 22:37:28 +0200 |
| commit | cfaef5b1cfc8ec7463a2e8aec420bfc3a434f9c1 (patch) | |
| tree | c855483f15c175f30a5ac2d44497a87f824f7d84 /src/gui/guiMainMenu.h | |
| parent | 4b4513a67d9fc426d0f33798d0810a3a0594baaf (diff) | |
| download | minetest-cfaef5b1cfc8ec7463a2e8aec420bfc3a434f9c1.tar.xz | |
Formspecs: volume and key settings windows can now be closed by doubleclicking/tapping (#10128)
Co-authored-by: Xx_Crazyminer_xX <carlo.digioia@hotmail.it>
Co-authored-by: Marco <4279489-marco_a@users.noreply.gitlab.com>
Diffstat (limited to 'src/gui/guiMainMenu.h')
| -rw-r--r-- | src/gui/guiMainMenu.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/gui/guiMainMenu.h b/src/gui/guiMainMenu.h index 43a3b1a33..1dca8bf2d 100644 --- a/src/gui/guiMainMenu.h +++ b/src/gui/guiMainMenu.h @@ -20,7 +20,6 @@ with this program; if not, write to the Free Software Foundation, Inc., #pragma once #include "irrlichttypes_extrabloated.h" -#include "modalMenu.h" #include <string> #include <list> |