Search and replace: avoid conflict for alt+r

Alt+r is already used for the Replace button.

https://bugzilla.gnome.org/show_bug.cgi?id=729516