Conrad Irwin 4667110d0f Fix multi-key shortcuts with modifiers ... To make this work we need to move the handling of multiple possible key events into the keyboard shortcut system. This was broken in #2957.		2023-09-14 14:35:17 -06:00
..
mappings	Fix multi-key shortcuts with modifiers	2023-09-14 14:35:17 -06:00
terminal.rs	Trim off surrounding [] when parsing terminal hover links	2023-08-29 10:40:20 +03:00
terminal_settings.rs	WIP	2023-08-25 15:06:31 -04:00