+// ----------------------------------------------------------------------------
+// Work around a GTK+ bug whereby button is insensitive after being
+// enabled
+// ----------------------------------------------------------------------------
+
+// Fix sensitivity due to bug in GTK+ < 2.14
+void wxControl::GTKFixSensitivity(bool WXUNUSED_IN_GTK3(onlyIfUnderMouse))
+{
+#ifndef __WXGTK3__
+ if (gtk_check_version(2,14,0)
+#if wxUSE_SYSTEM_OPTIONS
+ && (wxSystemOptions::GetOptionInt(wxT("gtk.control.disable-sensitivity-fix")) != 1)
+#endif
+ )
+ {
+ wxPoint pt = wxGetMousePosition();
+ wxRect rect(ClientToScreen(wxPoint(0, 0)), GetSize());
+ if (!onlyIfUnderMouse || rect.Contains(pt))
+ {
+ Hide();
+ Show();
+ }
+ }
+#endif
+}
+