-- add F12 key map to indent-whole-buffer--