Revision cc33217b
| ID | cc33217bf0fddaa2b1f2d7d6409f88ecc2ca45e7 |
| Parent | 39e164a2 |
| Child | 2cd23df3 |
Enhanced the shell so that CTRL + arrow key will jump wordwise through the current input
Files
- added
- modified
- copied
- renamed
- deleted
| ID | cc33217bf0fddaa2b1f2d7d6409f88ecc2ca45e7 |
| Parent | 39e164a2 |
| Child | 2cd23df3 |
Added by Thomas Schöpping over 5 years ago
Enhanced the shell so that CTRL + arrow key will jump wordwise through the current input