Switch to default destructor, removing very old TODO

This commit is contained in:
Alexander van Gessel 2017-11-03 08:28:21 +01:00
parent cdec9b2a7a
commit 8b1902e864

View file

@ -39,11 +39,7 @@ editor_toolkit::editor_toolkit(editor_display& gui, const CKey& key,
init_mouse_actions(c_manager);
}
editor_toolkit::~editor_toolkit()
{
//TODO ask someone about that
//delete palette_manager_.get();
}
editor_toolkit::~editor_toolkit() = default;
void editor_toolkit::init_brushes(const config& game_config)
{