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,137 +1,137 @@
 // 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.
         
         void Train(std::string* TrainString, bool IsMore); // Training by string segments or file
         void TrainFile(std::string Filename);              // all training data must be in UTF-8.
 
         void GetFontSizes(std::vector<int> *FontSizes);
         
         double GetCurCPM(); // App may want to display characters per minute
         double GetCurFPS(); // or frames per second.
         
         // Customize alphabet
         void GetAlphabets(std::vector< std::string >* AlphabetList);
         const CAlphIO::AlphInfo& GetInfo(const std::string& AlphID);
         void SetInfo(const CAlphIO::AlphInfo& NewInfo);
         void DeleteAlphabet(const std::string& AlphID);
         
         // Settings Interface (options saved between sessions)
         // -----------------------------------------------------
         
         void ChangeAlphabet(const std::string& NewAlphabetID);
         void ChangeMaxBitRate(double NewMaxBitRate);
         void ChangeLanguageModel(unsigned int NewLanguageModelID);
         void ChangeView(unsigned int NewViewID);
         void ChangeOrientation(Opts::ScreenOrientations Orientation);
         void SetFileEncoding(Opts::FileEncodingFormats Encoding);
         // TODO Color customization.
         
         void ShowToolbar(bool Value);
         void ShowToolbarText(bool Value);
         void ShowToolbarLargeIcons(bool Value);
         void ShowSpeedSlider(bool Value);
         void FixLayout(bool Value);
         void TimeStampNewFiles(bool Value);
         void CopyAllOnStop(bool Value);
         void DrawMouse(bool Value);
         void StartOnSpace(bool Value);
         void StartOnLeft(bool Value);
         void KeyControl(bool Value);
         void WindowPause(bool Value);
         void SetEditFont(std::string Name, long Size);
         void SetDasherFont(std::string Name);
         void SetDasherFontSize(FontSize fontsize);
         void SetDasherDimensions(bool Value);
 
 private:
         CAlphabet* m_Alphabet;
         CLanguageModel* m_LanguageModel;
         CDasherModel* m_DasherModel;
         CDashEditbox* m_DashEditbox;
         CDasherScreen* m_DasherScreen;