+ // Check if we're using a global menu. Currently this is only true when
+ // running under Ubuntu Unity and global menu is not disabled.
+ //
+ // This is mostly used in the implementation in order to work around
+ // various bugs arising due to this.
+ static bool GTKIsUsingGlobalMenu();
+