mirror of
https://github.com/cookiengineer/audacity
synced 2026-01-11 15:15:57 +01:00
Workaround for missing menus and wxWidgets bug:
http://bugzilla.audacityteam.org/show_bug.cgi?id=458
This commit is contained in:
@@ -3072,6 +3072,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
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user