+ // Simplified form of GTKCallbackCommonPrologue() which can be used from
+ // GTK callbacks without return value to check if the event should be
+ // ignored: if this returns true, the event shouldn't be handled
+ bool GTKShouldIgnoreEvent() const;
+
+