add dot-mode for redoing things