This website requires JavaScript.
Explore
Help
Sign In
VesperOS
/
gnome-shell-extensions
Watch
6
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
d3bbeb1b0c8467be8722110f31aecdfe7df4119c
gnome-shell-extensions
/
extensions
/
alternate-tab
T
History
Florian Müllner
d3bbeb1b0c
cleanup: Fix some coding style issues
...
Fixes
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/30
2017-12-01 20:38:38 +01:00
..
extension.js
alternateTab: Don't take over 'switch-group' shortcuts
2016-11-14 12:30:12 +01:00
meson.build
build: Support the meson build system
2017-12-01 17:41:04 +01:00
metadata.json.in
Update descriptions of extensions
2013-05-20 19:06:59 +02:00
prefs.js
cleanup: Fix some coding style issues
2017-12-01 20:38:38 +01:00
stylesheet.css
Revert "Remove alternate-tab extension"
2012-12-11 00:10:17 +01:00