Remove unnecessary keyboard event repeats

This commit is contained in:
UnicornFreedom 2025-08-22 15:21:36 +02:00
parent 6f5f84e5fd
commit 313e5c8b6a
No known key found for this signature in database
GPG Key ID: B4ED0DB6B940024F

View File

@ -245,22 +245,22 @@ class TextInput(val initialText: String = "") extends Widget with MouseHandler w
}
event.consume()
case event @ KeyEvent(KeyEvent.State.Press | KeyEvent.State.Repeat, Keyboard.KEY_A, _)
case event @ KeyEvent(KeyEvent.State.Press, Keyboard.KEY_A, _)
if isFocused && KeyEvents.isControlDown =>
selectAll()
event.consume()
case event @ KeyEvent(KeyEvent.State.Press | KeyEvent.State.Repeat, Keyboard.KEY_W, _)
case event @ KeyEvent(KeyEvent.State.Press, Keyboard.KEY_W, _)
if isFocused && KeyEvents.isControlDown =>
selectWord()
event.consume()
case event @ KeyEvent(KeyEvent.State.Press | KeyEvent.State.Repeat, Keyboard.KEY_C, _)
case event @ KeyEvent(KeyEvent.State.Press, Keyboard.KEY_C, _)
if isFocused && KeyEvents.isControlDown && selector.active =>
copySelection()
event.consume()
case event @ KeyEvent(KeyEvent.State.Press | KeyEvent.State.Repeat, Keyboard.KEY_X, _)
case event @ KeyEvent(KeyEvent.State.Press, Keyboard.KEY_X, _)
if isFocused && KeyEvents.isControlDown && selector.active =>
cutSelection()
event.consume()