From f4eed492a397cd012d7a17aeb9418b9ce748c055 Mon Sep 17 00:00:00 2001
From: Julian Smart <julian@anthemion.co.uk>
Date: Sun, 18 Jan 2009 12:21:04 +0000
Subject: [PATCH] Further tweaks to GTK+ sensitivity fix

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_8_BRANCH@58191 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
---
 include/wx/gtk/control.h | 2 +-
 src/gtk/control.cpp      | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/include/wx/gtk/control.h b/include/wx/gtk/control.h
index 1706f77c64..569bdbbe4d 100644
--- a/include/wx/gtk/control.h
+++ b/include/wx/gtk/control.h
@@ -103,6 +103,6 @@ private:
 };
 
 // Fix sensitivity due to bug in GTK+ < 2.14
-void wxGtkFixSensitivity(wxWindow* ctrl);
+void WXDLLEXPORT wxGtkFixSensitivity(wxWindow* ctrl);
 
 #endif // _WX_GTK_CONTROL_H_
diff --git a/src/gtk/control.cpp b/src/gtk/control.cpp
index 7b0ea23404..7b9733fb01 100644
--- a/src/gtk/control.cpp
+++ b/src/gtk/control.cpp
@@ -22,6 +22,7 @@
 #include "wx/fontutil.h"
 #include "wx/utils.h"
 #include "wx/gtk/private.h"
+#include "wx/sysopt.h"
 
 // ============================================================================
 // wxControl implementation
@@ -384,7 +385,11 @@ void wxGtkFixSensitivity(wxWindow* ctrl)
 #ifdef __WXGTK24__
     // Work around a GTK+ bug whereby button is insensitive after being
     // enabled
-    if (gtk_check_version(2,14,0))
+    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(ctrl->ClientToScreen(wxPoint(0, 0)), ctrl->GetSize());