From a95651275c04adb805e43b9692465682b8f93ec1 Mon Sep 17 00:00:00 2001
From: lllucius <lllucius@47890b92-0858-11df-a26f-8b716316a5bc>
Date: Mon, 7 Oct 2013 13:04:44 +0000
Subject: [PATCH] I was wrong in r12650 when I said the the workaround for bug
 #458 was fixed by r12650.  I had tested on Ubuntu only and the menu resize
 problem doesn't seem to happen there.

But, it still happens on Fedora 17 at least, so putting the workaround
back in.
---
 src/Menus.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

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
    }
 }