Added wxWidgets patch for Linux to enable idle menu updates on Ubuntu.