const wxSize& size, long style)
: wxFrame(parent, id, wxEmptyString, wxPoint(0,0), wxSize(100, 100), style)
{
+ // 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);