|2 points by kas 5 months, 3 weeks ago | discuss | parent | on: A powerful modal editor written in python.|
Thanks! I didn't look in the source code, but I _did_ look in the documentation and I didn't find anything (I can't be absolutely sure I didn't overlook it, though). (Shift|Ctrl)-Esc is not exactly intuitive. Neither is my current editor's (jed) exit combo, ^X^C, but at least it's documented.