summaryrefslogtreecommitdiff
path: root/plugingui
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2016-06-04 18:33:20 +0200
committerBent Bisballe Nyeng <deva@aasimon.org>2016-06-04 18:33:20 +0200
commit538abc6cd8f4a5996640ec9800815fbac5c34b26 (patch)
tree24bb353cb1b9f8a7274b12676c9150fc818966bb /plugingui
parent7f3defd9cbdaff74b217f4037d006ef6f8d6e317 (diff)
Make sure we clean up when we destroy the PluginGUI object.
Diffstat (limited to 'plugingui')
-rw-r--r--plugingui/plugingui.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/plugingui/plugingui.cc b/plugingui/plugingui.cc
index 2802c44..be59cd1 100644
--- a/plugingui/plugingui.cc
+++ b/plugingui/plugingui.cc
@@ -43,6 +43,7 @@ PluginGUI::PluginGUI(Settings& settings, void* native_window)
PluginGUI::~PluginGUI()
{
+ deinit();
}
bool PluginGUI::processEvents()