diff options
author | Bent Bisballe Nyeng <deva@aasimon.org> | 2016-06-04 18:33:20 +0200 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2016-06-04 18:33:20 +0200 |
commit | 538abc6cd8f4a5996640ec9800815fbac5c34b26 (patch) | |
tree | 24bb353cb1b9f8a7274b12676c9150fc818966bb | |
parent | 7f3defd9cbdaff74b217f4037d006ef6f8d6e317 (diff) |
Make sure we clean up when we destroy the PluginGUI object.
-rw-r--r-- | plugingui/plugingui.cc | 1 |
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() |