+
+ wxEvtHandler::AddFilter(this);
+}
+
+/* Note that unless we pass a non-default size to the frame, SetClientSize
+ * won't work properly under Windows, and the splash screen frame is sized
+ * slightly too small.
+ */
+
+wxSplashScreen::wxSplashScreen(const wxBitmap& bitmap, long splashStyle, int milliseconds,
+ wxWindow* parent, wxWindowID id, const wxPoint& pos,
+ const wxSize& size, long style)
+ : wxFrame(parent, id, wxEmptyString, wxPoint(0,0), wxSize(100, 100),
+ style | wxFRAME_TOOL_WINDOW | wxFRAME_NO_TASKBAR)
+{
+ Init();
+
+ // splash screen must not be used as parent by the other windows because it
+ // is going to disappear soon, indicate it by giving it this special style
+ SetExtraStyle(GetExtraStyle() | wxWS_EX_TRANSIENT);
+
+#if defined(__WXGTK20__)
+ gtk_window_set_type_hint(GTK_WINDOW(m_widget),
+ GDK_WINDOW_TYPE_HINT_SPLASHSCREEN);
+#endif
+