const int wxMENU_HEIGHT = 27;
+//-----------------------------------------------------------------------------
+// idle system
+//-----------------------------------------------------------------------------
+
+extern void wxapp_install_idle_handler();
+extern bool g_isIdle;
+
//-----------------------------------------------------------------------------
// globals
//-----------------------------------------------------------------------------
wxFrame::OnInternalIdle();
wxMDIChildFrame *active_child_frame = GetActiveChild();
+ bool visible_child_menu = FALSE;
wxNode *node = m_clientWindow->m_children.First();
while (node)
if (child_frame->m_menuBar)
{
if (child_frame == active_child_frame)
+ {
gtk_widget_show( child_frame->m_menuBar->m_widget );
+ visible_child_menu = TRUE;
+ }
else
gtk_widget_hide( child_frame->m_menuBar->m_widget );
}
}
/* show/hide parent menu bar as required */
- if (m_frameMenuBar) m_frameMenuBar->Show( (active_child_frame == NULL) );
+ if (m_frameMenuBar) m_frameMenuBar->Show( !visible_child_menu );
}
void wxMDIParentFrame::GetClientSize(int *width, int *height ) const
static void gtk_page_size_callback( GtkWidget *WXUNUSED(widget), GtkAllocation* alloc, wxWindow *win )
{
+ if (g_isIdle) wxapp_install_idle_handler();
+
if ((win->m_x == alloc->x) &&
(win->m_y == alloc->y) &&
(win->m_width == alloc->width) &&
wxString s = child->m_title;
if (s.IsNull()) s = _("MDI child");
- GtkWidget *label_widget = gtk_label_new( s );
+ GtkWidget *label_widget = gtk_label_new( s.mbc_str() );
gtk_misc_set_alignment( GTK_MISC(label_widget), 0.0, 0.5 );
gtk_signal_connect( GTK_OBJECT(child->m_widget), "size_allocate",