a text editor in C/WebGL — no DOM, no <textarea> · type, select, drag