diff --git a/src/Menus.cpp b/src/Menus.cpp index 5b018c294..7b54acc4f 100644 --- a/src/Menus.cpp +++ b/src/Menus.cpp @@ -3063,6 +3063,16 @@ void AudacityProject::OnPreferences() p->RebuildMenuBar(); p->RebuildOtherMenus(); +#if defined(__WXGTK__) + // Workaround for: + // + // http://bugzilla.audacityteam.org/show_bug.cgi?id=458 + // + // This should be removed with wxWidgets 2.8.13 is released. + wxRect r = p->GetRect(); + p->SetSize(wxSize(1,1)); + p->SetSize(r.GetSize()); +#endif } }