extras.js for things like move (selection | line) up / down

[zeffii]

https://raw2.github.com/marijnh/CodeMirror/b1c895c3b4b0a1bbcdfde5ad3fa523a3eb2da552/keymap/extra.js

when added as a library to an inlet, this does already allow alt up/down to shift current line or selection. very nice (not bug free.. but acceptable!).

I'm wondering if you plan to stick with codemirror, I recall some talk about a home grown text editor?

[enjalot]

Interesting, we could add this by default easily. I'm overdue a lot of
improvements...

as for another editor, i'm not thinking of moving away from CodeMirror, i
think its really great. the only thing I want to do is make more plugins on
top of it.

On Mon, Jan 20, 2014 at 1:47 PM, Dealga McArdle [email protected]:

https://raw2.github.com/marijnh/CodeMirror/b1c895c3b4b0a1bbcdfde5ad3fa523a3eb2da552/keymap/extra.js

when added as a library to an inlet, this does already allow alt up/downto shift current line or selection. very nice (not bug free.. but
acceptable!).

I'm wondering if you plan to stick with codemirror, I recall some talk
about a home grown text editor?

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/116
.

Ian Johnson - 周彦
http://enja.org