GitHub repository: tanwald/gnome-shell-extension-arrow-key-window-selector
Primary language: JavaScript
Description: Enhanced keyboard control in overview mode: Select and zoom windows with arrow keys, move windows to workspaces with function keys (Fn > workspace n), close windows with delete key and switch workspace with PgUp, PgDown, Pos1 and End.