Fix duplicate character sending for alt+{key} combinations.

This commit is contained in:
Florian Nücke
2022-01-07 07:52:08 +01:00
parent b466ff932b
commit 708745def2

View File

@@ -90,7 +90,9 @@ public final class MachineTerminalWidget extends GuiComponent {
}
public boolean charTyped(final char ch, final int modifier) {
terminal.putInput((byte) ch);
if (modifier == 0 || modifier == GLFW.GLFW_MOD_SHIFT) {
terminal.putInput((byte) ch);
}
return true;
}