Fix issue where ctrlf--finalize doesn't push starting point mark when auto-recenter enabled#133

raxod502 merged 2 commits intoradian-software:mainradian-software/ctrlf:mainfrom

NicholasBHubbard:push-mark-when-auto-recenterNicholasBHubbard/ctrlf:push-mark-when-auto-recenterCopy head branch name to clipboard