void DockablePaneMenuManager::HackShowPane(wxAuiPaneInfo &pane_info, wxAuiManager *pAui)
{
    if ( pane_info.IsOk() && pAui ) {
        pane_info.MinSize(pane_info.best_size);    // saved while hiding
        pane_info.Show();
        pAui->Update();
        pane_info.MinSize(10,5);	// so it can't disappear if undocked
        pAui->Update();
    }
}
void DockablePaneMenuManager::HackHidePane(bool commit, wxAuiPaneInfo &pane_info, wxAuiManager *pAui)
{
    if ( pane_info.IsOk() && pAui ) {
        int width = 0;
        int height = 0;
        pane_info.window->GetClientSize(&width, &height);
        pane_info.BestSize(width,height);    // save for later subsequent show
        pane_info.Hide();

        if ( commit ) {
            pAui->Update();
        }
    }
}