1 files changed, 1 insertions, 1 deletions

diff --git a/utils/themeeditor/gui/preferencesdialog.h b/utils/themeeditor/gui/preferencesdialog.h
index e28a830751..d717d04ab8 100644
--- a/utils/themeeditor/gui/preferencesdialog.h
+++ b/utils/themeeditor/gui/preferencesdialog.h
@@ -33,7 +33,7 @@ class PreferencesDialog : public QDialog {
     Q_OBJECT
 public:
     PreferencesDialog(QWidget *parent = 0);
-    ~PreferencesDialog();
+    virtual ~PreferencesDialog();
 
     static void setButtonColor(QPushButton* button, QColor color)
     {