Originally at 2015-01-20T21:23:30Z by Hannes Hirzel
Issue detected in #9
Ctrl+D does not work as DoIt on Chrome / Win (probably update CodeMirror).
The same thing for FF / Linux Mint.
In both cases the selected line is deleted.
This should be fixed in a new branch gh-16 first.
Originally at 2015-01-20T21:23:30Z by Hannes Hirzel
Issue detected in #9
Ctrl+D does not work as DoIt on Chrome / Win (probably update CodeMirror).
The same thing for FF / Linux Mint.
In both cases the selected line is deleted.
This should be fixed in a new branch gh-16 first.
Originally at 2015-01-20T21:23:30Z by Hannes Hirzel
Issue detected in #9
Ctrl+D does not work as DoIt on Chrome / Win (probably update CodeMirror). The same thing for FF / Linux Mint. In both cases the selected line is deleted.
This should be fixed in a new branch gh-16 first.