I find myself really, tangentially curious now: what editor is he using that has...

		nvader on Aug 7, 2015 \| parent \| context \| favorite \| on: Speed matters: Why working quickly is more importa... I find myself really, tangentially curious now: what editor is he using that has a slow undo feature?