diff options
author | Muhammad Rifqi Priyo Susanto <muhammadrifqipriyosusanto@gmail.com> | 2023-01-17 02:16:08 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-16 20:16:08 +0100 |
commit | a2a280691c76d37ab1cbceb9571364d7551c0dea (patch) | |
tree | ee3ff0e869eef02d22275df3cbf0df5626a3df06 /src/profiler.cpp | |
parent | 2f9f0c09001b8fbc6f4559cbfdccf0261f1377a4 (diff) | |
download | minetest-a2a280691c76d37ab1cbceb9571364d7551c0dea.tar.xz |
Fix Enter key after creating a new world (#12997)
Prevents Enter key or "double-click" event to play the world just after creating a new world
Diffstat (limited to 'src/profiler.cpp')
0 files changed, 0 insertions, 0 deletions