diff options
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/plugingui.h | 2 | 
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/plugingui.h b/plugingui/plugingui.h index cd050de..7ec5e77 100644 --- a/plugingui/plugingui.h +++ b/plugingui/plugingui.h @@ -47,7 +47,7 @@  class PluginGUI : public Thread, public MessageReceiver {  public:    PluginGUI(); -  ~PluginGUI(); +  virtual ~PluginGUI();    void thread_main();    void stopThread();  | 
