>From b6a4dcbd13229cd78b5bf5fd44cd0266d3ad384c Mon Sep 17 00:00:00 2001
From: Vadim Zeitlin <address@hidden>
Date: Fri, 28 Nov 2014 02:21:56 +0100
Subject: [PATCH 3/4] Remove unnecessary DocMDIChildFrameEx dtor.

Remove the comment explaining that wxDocMDIChildFrame doesn't have an
explicitly virtual dtor as it is out of date since at least wxWidgets 3.0 (and
possibly earlier) and this dtor itself is completely superfluous, so remove it
too.
---
 docmdichildframe_ex.cpp |    4 ----
 docmdichildframe_ex.hpp |    5 -----
 2 files changed, 0 insertions(+), 9 deletions(-)

diff --git a/docmdichildframe_ex.cpp b/docmdichildframe_ex.cpp
index 28a236b..4655299 100644
--- a/docmdichildframe_ex.cpp
+++ b/docmdichildframe_ex.cpp
@@ -49,10 +49,6 @@
 {
 }
 
-DocMDIChildFrameEx::~DocMDIChildFrameEx()
-{
-}
-
 wxStatusBar* DocMDIChildFrameEx::GetStatusBar() const
 {
     if(!status_bar_sought_from_menu_highlight_handler_)
diff --git a/docmdichildframe_ex.hpp b/docmdichildframe_ex.hpp
index f7e6115..4928a68 100644
--- a/docmdichildframe_ex.hpp
+++ b/docmdichildframe_ex.hpp
@@ -86,11 +86,6 @@ class DocMDIChildFrameEx
         ,long int          style  = wxDEFAULT_FRAME_STYLE
         ,wxString   const& name   = "child frame"
         );
-    // WX !! Base class wxDocMDIChildFrame's dtor is virtual, but isn't
-    // explicitly marked that way--though it seems that it should be,
-    // for consistency with the style of the rest of the library.
-    //
-    virtual ~DocMDIChildFrameEx();
 
   private:
     // WX !! Shouldn't OnMenuHighlight() be virtual?
-- 
1.7.9