emacs: less eager pushMark
emacs: push mark of isearch start when isearch successful