mark all dtors which are virtual because base class dtor is virtual explicitly virtual themselves

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@41020 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

utils/tex2rtf/src/htmlutil.cpp

@@ -114,7 +114,7 @@ class TexNextPage: public wxObject
     label = copystring(theLabel);
     filename = copystring(theFile);
   }
-  ~TexNextPage(void)
+  virtual ~TexNextPage(void)
   {
     delete[] label;
     delete[] filename;

utils/tex2rtf/src/tex2any.h

@@ -53,7 +53,7 @@ class TexMacroDef: public wxObject
   int macroId;
 
   TexMacroDef(int the_id, const wxChar *the_name, int n, bool ig, bool forbidLevel = FORBID_OK);
-  ~TexMacroDef(void);
+  virtual ~TexMacroDef(void);
 };
 
 #define CHUNK_TYPE_MACRO    1
@@ -135,7 +135,7 @@ class TexTopic: public wxObject
   wxChar *filename;
   wxStringList *keywords;
   TexTopic(wxChar *f = NULL);
-  ~TexTopic(void);
+  virtual ~TexTopic(void);
 };
 extern wxHashTable TopicTable;
 void AddKeyWordForTopic(wxChar *topic, wxChar *entry, wxChar *filename = NULL);
@@ -403,7 +403,7 @@ class TexRef: public wxObject
   wxChar *sectionNumber; // Section or figure number (as a string)
   wxChar *sectionName; // name e.g. 'section'
   TexRef(const wxChar *label, const wxChar *file, const wxChar *section, const wxChar *sectionN = NULL);
-  ~TexRef(void);
+  virtual ~TexRef(void);
 };
 
 /*
@@ -515,7 +515,7 @@ public:
         else
             macroBody = NULL;
     }
-    ~CustomMacro();
+    virtual ~CustomMacro();
 };
 
 bool ReadCustomMacros(const wxString& filename);
@@ -537,7 +537,7 @@ class ColourTableEntry: public wxObject
   unsigned int blue;
 
   ColourTableEntry(const wxChar *theName, unsigned int r,  unsigned int g,  unsigned int b);
-  ~ColourTableEntry(void);
+  virtual ~ColourTableEntry(void);
 };
 
 extern wxList ColourTable;

utils/tex2rtf/src/tex2rtf.h

@@ -73,7 +73,7 @@ class Tex2RTFConnection: public wxDDEConnection
 {
  public:
   Tex2RTFConnection(wxChar *buf, int size);
-  ~Tex2RTFConnection(void){};
+  virtual ~Tex2RTFConnection(void){}
   bool OnExecute(const wxString& topic, wxChar *data, int size, wxIPCFormat format);
   wxChar *OnRequest(const wxString& topic, const wxString& item, int *size, wxIPCFormat format);
 };