adding set-mark-command to f12