Added Description Box Height to saveable/restoreable editable state

[wxWidgets.git] / interface / wx / splash.h

diff --git a/interface/wx/splash.h b/interface/wx/splash.h
index 698f910a39789a28dd25100e0a3b18cb3c4dcad7..1686cf77ee4943b159a826c90e6b124f5baf0bf8 100644 (file)
--- a/interface/wx/splash.h
+++ b/interface/wx/splash.h
@@ -23,7 +23,7 @@
       {
           wxSplashScreen* splash = new wxSplashScreen(bitmap,
               wxSPLASH_CENTRE_ON_SCREEN|wxSPLASH_TIMEOUT,
-              6000, @NULL, -1, wxDefaultPosition, wxDefaultSize,
+              6000, NULL, -1, wxDefaultPosition, wxDefaultSize,
               wxBORDER_SIMPLE|wxSTAY_ON_TOP);
       }
       wxYield();
@@ -58,7 +58,7 @@ public:
     /**
         Destroys the splash screen.
     */
-    ~wxSplashScreen();
+    virtual ~wxSplashScreen();
 
     /**
         Returns the splash style (see wxSplashScreen() for