Shift-F3 not recognized in Ghostty and kitty

[injust]

micro's raw says that Ghostty and kitty are sending shiftF3 as \x1b[13;2~. This matches showkey, which outputs <ESC>[13;2~.

However, micro doesn't recognize this as shiftF3. When used as a keybind, you need to bind \u001b[13;2~.

[Andriamanitra]

This is essentially asking for Kitty keyboard protocol support, so a duplicate of #1176

[injust]

While I don't dispute that this would be fixed by supporting the Kitty keyboard protocol, I'm curious why shiftF3 is special. micro can recognize all the other F-keys, just not F3.

[Andriamanitra]

Huh, that is weird. Ghostty differs from terminator only for Shift-F3, and it gets split into 6 different events even though it looks very similar to Shift-F5 and Shift-F6. I also tested Konsole and it seemed to use yet another scheme (for Shift-F1 through Shift-F4) that micro didn't manage to parse correctly.

Terminator:

EventKey: Shift-F1: "\x1b[1;2P"
EventKey: Shift-F2: "\x1b[1;2Q"
EventKey: Shift-F3: "\x1b[1;2R"
EventKey: Shift-F4: "\x1b[1;2S"
EventKey: Shift-F5: "\x1b[15;2~"
EventKey: Shift-F6: "\x1b[17;2~"
EventKey: Shift-F7: "\x1b[18;2~"
EventKey: Shift-F8: "\x1b[19;2~"

Ghostty:

EventKey: Shift-F1: "\x1b[1;2P"
EventKey: Shift-F2: "\x1b[1;2Q"
EventKey: Alt-[: "\x1b["
EventKey: 1: "1"
EventKey: 3: "3"
EventKey: ;: ";"
EventKey: 2: "2"
EventKey: ~: "~"
EventKey: Shift-F4: "\x1b[1;2S"
EventKey: Shift-F5: "\x1b[15;2~"
EventKey: Shift-F6: "\x1b[17;2~"
EventKey: Shift-F7: "\x1b[18;2~"
EventKey: Shift-F8: "\x1b[19;2~"

Konsole:

EventKey: Alt-O: "\x1bO"
EventKey: 2: "2"
EventKey: P: "P"
EventKey: Alt-O: "\x1bO"
EventKey: 2: "2"
EventKey: Q: "Q"
EventKey: Alt-O: "\x1bO"
EventKey: 2: "2"
EventKey: R: "R"
EventKey: Alt-O: "\x1bO"
EventKey: 2: "2"
EventKey: S: "S"
EventKey: Shift-F5: "\x1b[15;2~"
EventKey: Shift-F6: "\x1b[17;2~"