mirror of
https://github.com/luanti-org/luanti.git
synced 2025-06-27 16:36:03 +00:00
parent
fa0c09d202
commit
da7897a822
1 changed files with 0 additions and 6 deletions
|
@ -405,12 +405,6 @@ GUIEngine::~GUIEngine()
|
||||||
m_sound_manager.reset();
|
m_sound_manager.reset();
|
||||||
|
|
||||||
m_irr_toplefttext->remove();
|
m_irr_toplefttext->remove();
|
||||||
|
|
||||||
// delete textures
|
|
||||||
for (image_definition &texture : m_textures) {
|
|
||||||
if (texture.texture)
|
|
||||||
m_rendering_engine->get_video_driver()->removeTexture(texture.texture);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/******************************************************************************/
|
/******************************************************************************/
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue