Keyboard shortcut sequences in GNOME extensions I've been prototyping what I call _keyboard shortcut sequences_ in a GNOME extension. I grew fond of them while using certain apps and wanted to document my results here. 8/25/2024 gnome extension, concept