diff options
Diffstat (limited to 'src/client/gameui.cpp')
-rw-r--r-- | src/client/gameui.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/client/gameui.cpp b/src/client/gameui.cpp index 5533cd119..f3c3fefb6 100644 --- a/src/client/gameui.cpp +++ b/src/client/gameui.cpp @@ -302,3 +302,15 @@ void GameUI::toggleProfiler() showTranslatedStatusText("Profiler hidden"); } } + + +void GameUI::deleteFormspec() +{ + if (m_formspec) + m_formspec->quitMenu(); + + delete m_formspec; + m_formspec = nullptr; + + m_formname.clear(); +} |