pull down to refresh

no worries

I just realized I didn't exactly copy the behavior from Github.
On Github, the formatting undoes itself when applied again. However, CTRL+Z still works.