1 files changed, 1 insertions, 1 deletions

diff --git a/inputmethods/dasher/DasherInterface.h b/inputmethods/dasher/DasherInterface.h
index 6338801..7c4496f 100644
--- a/inputmethods/dasher/DasherInterface.h
+++ b/inputmethods/dasher/DasherInterface.h
@@ -17,49 +17,49 @@
 #include "MSVC_Unannoy.h"
 #include "NoClones.h"
 
 #include "DasherWidgetInterface.h"
 #include "DasherAppInterface.h"
 #include "DasherSettingsInterface.h"
 
 #include "DasherScreen.h"
 #include "Alphabet.h"
 #include "AlphIO.h"
 #include "LanguageModel.h"
 #include "DasherModel.h"
 #include "DashEdit.h"
 #include "DasherView.h"
 
 #include "MSVC_Unannoy.h"
 #include <map>
 
 namespace Dasher {class CDasherInterface;}
 class Dasher::CDasherInterface : private NoClones,
         public CDasherWidgetInterface, public CDasherAppInterface, public CDasherSettingsInterface
 {
 public:
         CDasherInterface();
-        ~CDasherInterface();
+        virtual ~CDasherInterface();
 
         //! Tell the core which CSettingsStore should be used
         void SetSettingsStore(CSettingsStore* SettingsStore);
 
         //! Tell the core which CDasherSettingsInterface should be used
         //
         //! Provide a pointer to an instance of CDasherSettingsInterface in 
         //! order to allow for platform dependent configuration of certain 
         //! options
         void SetSettingsUI(CDasherSettingsInterface* SettingsUI);
         
         //! Set the path for user specific configuration and files
         void SetUserLocation(std::string UserLocation);
 
         //! Set the path for system-wide configuration and files
         void SetSystemLocation(std::string SystemLocation);
         
         // Widget Interface
         // -----------------------------------------------------
         void Start();
         
         void TapOn(int MouseX, int MouseY, unsigned long Time); // Times in milliseconds
         void PauseAt(int MouseX, int MouseY);                   // are required to make
         void Unpause(unsigned long Time);                       // Dasher run at the