// Licence: wxWindows Licence
/////////////////////////////////////////////////////////////////////////////
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma interface "splash.h"
-#endif
-
#ifndef _WX_SPLASH_H_
#define _WX_SPLASH_H_
-#ifndef WX_PRECOMP
#include "wx/bitmap.h"
#include "wx/timer.h"
-#endif
-
#include "wx/frame.h"
const wxPoint& pos = wxDefaultPosition,
const wxSize& size = wxDefaultSize,
long style = wxSIMPLE_BORDER|wxFRAME_NO_TASKBAR|wxSTAY_ON_TOP);
- ~wxSplashScreen();
+ virtual ~wxSplashScreen();
void OnCloseWindow(wxCloseEvent& event);
void OnNotify(wxTimerEvent& event);