revert nedko's splash screen change because it breaks splash screen management

git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@5321 d708f5d6-7413-0410-9779-e7cbd77b26cf

diff --git a/gtk2_ardour/splash.cc b/gtk2_ardour/splash.cc
index 28f7e4c4b05c115ab1355d58cca90f90e2238794..dc30ed41bd68d027baed1b112c678a2095d3de8f 100644 (file)
--- a/gtk2_ardour/splash.cc
+++ b/gtk2_ardour/splash.cc
@@ -66,7 +66,8 @@ void
 Splash::on_realize ()
 {
        Window::on_realize ();
-       get_window()->set_override_redirect(true);
+       get_window()->set_decorations (Gdk::WMDecoration (0));
+       /* get_window()->set_override_redirect(true);*/
        layout->set_font_description (get_style()->get_font());
 }