Improvements to the gnome-shell Windows Navigator extension. Arrow keys can now be used to cyle between workspaces and open applications