A text editor as a user interface (via jbauer) — discussion

#editors