Antonio Scandurra 318deed25b Skip key down event if preceded by its key equivalent version ... Previously, we would only track whether the previous key down event was a key equivalent. However, this could cause issues when pressing certain keystrokes in rapid succession, e.g.: - Pressing `shift-right` (to select a character) - Pressing a character (with or without `shift` held down) This would cause GPUI to ignore the second event because it was preceded by a key equivalent event. With this commit, we track the last key equivalent event, and skip the key down event only if it matches the last key equivalent event.		2023-07-07 12:02:08 +02:00
..
app	Z-2276/Z-2275: Project & Branch switchers (#2662)	2023-07-05 13:09:40 -04:00
elements	fmt	2023-06-28 16:35:57 -07:00
keymap_matcher
platform	Skip key down event if preceded by its key equivalent version	2023-07-07 12:02:08 +02:00
scene	fmt	2023-06-28 16:35:57 -07:00
views
app.rs	Z-2276/Z-2275: Project & Branch switchers (#2662)	2023-07-05 13:09:40 -04:00
assets.rs
clipboard.rs
color.rs
elements.rs
executor.rs
font_cache.rs
fonts.rs
geometry.rs
gpui.rs	Accept null as a valid action, to disable a keystroke	2023-07-04 21:11:28 +03:00
image_data.rs
json.rs
keymap_matcher.rs
platform.rs
scene.rs
test.rs
text_layout.rs
util.rs
views.rs