Add keyboard shortcuts for simple left nav. Not necessarily permanent while these are still in development -- we can discuss what the shortcut keys should be.
- R1:df7049665178: [dagit] Shortcut handlers for simple left nav
Toggle nav on, verify that keyboard shortcuts work for navigation.
This looks great! I like the new shortcut annotation styling too, matches the new sidebar a bit better 👍
Oh nice I hadn't seen this getModifierState API, I guess this is preferable to the old event.altKey, event.ctrlKey, event.metaKey? Reading up on it now and I don't quite see why they replaced those but there do seem to be more options with this API!