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
@@ -1,89 +1,89 @@
 // DasherInterface.h
 //
 /////////////////////////////////////////////////////////////////////////////
 //
 // Copyright (c) 2002 Iain Murray
 //
 /////////////////////////////////////////////////////////////////////////////
 
 
 
 #ifndef __DasherInterface_h__
 #define __DasherInterface_h__
 
 // TODO - there is a list of things to be configurable in my notes
 // Check that everything that is not self-contained within the GUI is covered.
 
 #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
         void Redraw();                                          // correct speed.
         
         void ChangeScreen(); // The widgets need to tell the engine when they have been
         void ChangeEdit();   // affected by external interaction
         
         unsigned int GetNumberSymbols();           // These are needed so widgets know
         const std::string& GetDisplayText(symbol Symbol); // how to render the alphabet. All
         const std::string& GetEditText(symbol Symbol);    // strings are encoded in UTF-8
         int GetTextColour(symbol Symbol);    // the foreground colour of the text
         Opts::ScreenOrientations GetAlphabetOrientation();
         Opts::AlphabetTypes GetAlphabetType();
         const std::string& GetTrainFile();
         
         // App Interface
         // -----------------------------------------------------
         
         // std::map<int, std::string>& GetAlphabets(); // map<key, value> int is a UID string can change. Store UID in preferences. Display string to user.
         // std::vector<std::string>& GetAlphabets();
         // std::vector<std::string>& GetLangModels();
         // std::vector<std::string>& GetViews();
         
         void ChangeScreen(CDasherScreen* NewScreen); // We may change the widgets Dasher uses
         void ChangeEdit(CDashEditbox* NewEdit);      // at run time.