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
..
mac	Skip key down event if preceded by its key equivalent version	2023-07-07 12:02:08 +02:00
event.rs	Skip key down event if preceded by its key equivalent version	2023-07-07 12:02:08 +02:00
mac.rs	Revert "Remove borrow from reveal_path()"	2023-02-24 09:39:52 -08:00
test.rs	Track active window id in test platform	2023-04-20 17:22:11 +02:00