Details
-
Improvement
-
Status: Resolved
-
Low
-
Resolution: Fixed
-
None
Description
the delete key currently works like the backspace key which is annoying. upgrading to jline-1.0 fixes this.
the delete key currently works like the backspace key which is annoying. upgrading to jline-1.0 fixes this.