undo, and add file to adjust the terminal font size