issue6713: add "use regular expression" menuitem to searchmenu