use 6px as the default wxSizer border in wxGTK to be a little bit closer to GNOME HIG

[wxWidgets.git] / include / wx / os2 / helpwin.h

diff --git a/include/wx/os2/helpwin.h b/include/wx/os2/helpwin.h
index 6700a6f6f3b493c6d6d91a5ce1bf0d1836adf40b..d8a2a0815034e4c985635fb25faf83b2323da230 100644 (file)
--- a/include/wx/os2/helpwin.h
+++ b/include/wx/os2/helpwin.h
@@ -1,12 +1,12 @@
 /////////////////////////////////////////////////////////////////////////////
-// Name:        helpxxxx.h
+// Name:        wx/os2/helpwin.h
 // Purpose:     Help system: native implementation for your system.
 // Author:      David Webster
 // Modified by:
-// Created:      10/09/99
+// Created:     10/09/99
 // RCS-ID:      $Id$
 // Copyright:   (c) David Webster
-// Licence:    wxWindows licence
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_HELPWIN_H_
@@ -24,7 +24,7 @@ class WXDLLEXPORT wxWinHelpController: public wxHelpControllerBase
 
  public:
   wxWinHelpController();
-  ~wxWinHelpController();
+  virtual ~wxWinHelpController();
 
   // Must call this to set the filename and server name
   virtual bool Initialize(const wxString& file);