- if (child_frame->m_menuBar)
- {
- if (child_frame == active_child_frame)
- gtk_widget_show( child_frame->m_menuBar->m_widget );
- else
- gtk_widget_hide( child_frame->m_menuBar->m_widget );
- }
+ 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 );
+ }