| commit | 45b0191c44a7d95d7219649c39eb4abc028c0afe | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Wed Jan 14 00:31:03 2015 +0100 |
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | Wed Jan 21 07:48:36 2015 +0000 |
| tree | 7fe4beba6c91588dfa40f763912f5ab126997739 | |
| parent | 511823f835602388f4702eb4639469268b468de7 [diff] |
InlineEdit: Support 'go to line' command Inline edit currently uses the default key map and doesn't provide any means to jump to a specific line. Feature request to add this to the core was rejected: [1]. There is addon in the wild that does just that: [2]. But the request to clarify the license for this feature remained unanswered: [3]. Add un ugly prompt dialog and bind it to 'Ctrl+L' and 'Cmd+L' keys. [1] https://github.com/codemirror/CodeMirror/issues/3030 [2] https://github.com/djadmin/djadmin.github.io/blob/master/addon/search/goto-line.js [3] https://github.com/djadmin/djadmin.github.io/commit/6ee5941512d73cdcede929b6b832896842e0845d#diff-5 Change-Id: Ia9de2003531a10b256f5fb6cedeead2aaff2fd79