-
With this patch, all steps accessing properties dialog are now doing so through right click menu instead of selection bar, as properties button was removed from selection bar in commit 534d3f01. https://bugzilla.gnome.org/show_bug.cgi?id=751229
470ffc86