> home > Commands

paste_and_indent

January 19th 2020
Paste from the top of clipboard and run auto-indent on the newly pasted text.