project: fix hotkeys

This commit is contained in:
Kyle
2021-03-17 21:17:29 +00:00
committed by GitHub
parent ebffc0983b
commit e61971130d

View File

@@ -83,12 +83,16 @@ public abstract class HotkeyListener implements KeyListener
{ {
if (keybind.get().matches(e)) if (keybind.get().matches(e))
{ {
if (isPressed)
{
hotkeyReleased();
}
isPressed = false; isPressed = false;
isConsumingTyped = false; isConsumingTyped = false;
} }
} }
public void hotkeyPressed() protected void hotkeyPressed()
{ {
} }