Fix typo in windows end key capability

The normal ansi escape sequence for the end key is \u001B[4~ not
\u001B[4!. This didn't seem to matter in terms of whether or not the
end key worked but it still is worth changing for consistency. Pointed
out in an issue comment in jline 3
(https://github.com/jline/jline3/issues/578#issuecomment-699834705).
This commit is contained in:
Ethan Atkins 2020-09-28 08:33:45 -07:00
parent 1b2404b287
commit 6532b58482
1 changed files with 1 additions and 1 deletions

View File

@ -97,7 +97,7 @@ private[util] class WindowsInputStream(term: org.jline.terminal.Terminal, in: In
// VK_END, VK_INSERT and VK_DELETE are not in the ansi key bindings so we
// have to manually apply the the sequences here and in JLine3.wrap
case 0x23 /* VK_END */ =>
Option(getCapability(Capability.key_end)).getOrElse("\u001B[4!")
Option(getCapability(Capability.key_end)).getOrElse("\u001B[4~")
case 0x2D /* VK_INSERT */ =>
Option(getCapability(Capability.key_ic)).getOrElse("\u001B[2~")
case 0x2E /* VK_DELETE */ =>