Looks like GNOME is standardizing on "open-menu" and elementary is gonna switch over to. See https://bugs.launchpad.net/granite/+bug/1340460
Midori should move it's gear menu to "open-menu" since technically "document-properties" is a bit of an abuse of the icon name.
Looks like GNOME is standardizing on "open-menu" and elementary is gonna switch over to. See https:/ /bugs.launchpad .net/granite/ +bug/1340460
Midori should move it's gear menu to "open-menu" since technically "document- properties" is a bit of an abuse of the icon name.