Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell-extensions
Repository
gnome-shell-extensions
extensions
alternate-tab
extension.js
Find file
Blame
History
Permalink
AlternateTab: make it work with the mouse.
· 349d1f5e
Giovanni Campagna
authored
Feb 23, 2011
Patch provided by Thomas Bouffon <thomas.bouffon@gmail.com>
349d1f5e