(Box root, Window w)
| 36 | |
| 37 | |
| 38 | public void dispatch(Box root, Window.Event<Window.KeyboardState> event) { |
| 39 | |
| 40 | // this is the set of keys that have been newly pressed, but we'd like to respond to key repeats as well |
| 41 | // Set<Integer> pressed = Window.KeyboardState.keysPressed(event.before, event.after); |
| 42 | Set<Integer> pressed = event.after.keysDown; |
| 43 | |
| 44 | Set<Character> typed = Window.KeyboardState.charsPressed(event.before, event.after); |
| 45 | Set<Integer> released = Window.KeyboardState.keysReleased(event.before, event.after); |
| 46 | Set<Integer> down = event.after.keysDown; |
| 47 | |
| 48 | released.stream().map(r -> ongoingDrags.remove(r)).filter(x -> x != null).forEach(drags -> { |
nothing calls this directly
no test coverage detected