> home > Commands

paste_and_indent

September 8th 2024
Paste from the top of clipboard and run auto-indent on the newly pasted text.