« Previous | Next » 

Revision cc33217b

IDcc33217bf0fddaa2b1f2d7d6409f88ecc2ca45e7
Parent 39e164a2
Child 2cd23df3

Added by Thomas Schöpping almost 5 years ago

Enhanced the shell so that CTRL + arrow key will jump wordwise through the current input

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences