+ // Fix sensitivity due to bug in GTK+ < 2.14
+ void GTKFixSensitivity(bool onlyIfUnderMouse = true);
+
+ // Ask GTK+ for preferred size. Use it after setting the font.
+ wxSize GTKGetPreferredSize(GtkWidget* widget) const;
+
+ // Inner margins in a GtkEntry
+ wxPoint GTKGetEntryMargins(GtkEntry* entry) const;