Evenif we don't care of WxWidget, fix #2365.

diff --git a/modules/gui/wxwidgets/dialogs/preferences_widgets.h b/modules/gui/wxwidgets/dialogs/preferences_widgets.h
index 7a61febf31ea67b934cd02f73775d99f0affeead..ae7e71fcb632370b172c3b7ff4b3e3f2b72c3262 100644 (file)
--- a/modules/gui/wxwidgets/dialogs/preferences_widgets.h
+++ b/modules/gui/wxwidgets/dialogs/preferences_widgets.h
@@ -28,7 +28,7 @@ class ConfigControl: public wxPanel
 {
 public:
     ConfigControl( vlc_object_t *, module_config_t *, wxWindow * );
-    ~ConfigControl();
+    virtual ~ConfigControl();
     wxSizer *Sizer();
 
     virtual int GetIntValue() {return 0;}