GitHub repository: windsorschmidt/disable-workspace-switcher-popup
Primary language: JavaScript
Description: Gnome Shell 3 extension that disables the arrow displayed during workspace switching