Applied patch to show title bar changes

immidiately in wxMiniFrame


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@30242 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

src/gtk/minifram.cpp

@@ -389,4 +389,15 @@ bool wxMiniFrame::Create( wxWindow *parent, wxWindowID id, const wxString &title
     return TRUE;
 }
 
+void wxMiniFrame::SetTitle( const wxString &title )
+{
+    wxFrame::SetTitle( title );
+    
+#ifdef __WXGTK20__
+    gdk_window_invalidate_rect( GTK_PIZZA(m_mainWidget)->bin_window, NULL, true );
+#else
+    gtk_widget_draw( m_mainWidget, (GdkRectangle*) NULL );
+#endif
+}
+
 #endif