gnome-shell-extensions - Modify and extend GNOME Shell functionality and behavior
| Website: | http://wiki.gnome.org/Projects/GnomeShell/Extensions |
|---|---|
| License: | GPLv2+ and BSD |
| Vendor: | Virtuozzo |
- Description:
GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Enabled extensions: * alternate-tab * apps-menu * auto-move-windows * drive-menu * horizontal-workspaces * launch-new-instance * native-window-placement * places-menu * screenshot-window-sizer * systemMonitor * updates-dialog * user-theme * window-list * windowsNavigator * workspace-indicator
Packages
| gnome-shell-extensions-3.28.1-17.vl7.src [699 KiB] |
Changelog
by Florian Müllner (2021-04-15):
- Override lg foreground color Resolves: #1875419 |
| gnome-shell-extensions-3.28.1-16.vl7.src [699 KiB] |
Changelog
by Florian Müllner (2021-01-26):
- Fix stuck window picker after screen lock Resolves: #1904371 |
| gnome-shell-extensions-3.28.1-14.vl7.src [697 KiB] |
Changelog
by Florian Müllner (2020-06-17):
- Fix workspace switch in window-list outside GNOME Classic Resolves: #1848058 |
| gnome-shell-extensions-3.28.1-12.vl7.src [691 KiB] |
Changelog
by Florian Müllner (2020-07-20):
- Fix workspace switch in window-list outside GNOME Classic Resolves: #1858717 |
| gnome-shell-extensions-3.28.1-11.vl7.src [691 KiB] |
Changelog
by Jonas Ådahl (2019-12-06):
- A couple of fixes to the classic backports Resolves: #1778270 |
| gnome-shell-extensions-3.28.1-7.vl7.src [665 KiB] |
Changelog
by Florian Müllner (2019-03-26):
- Add window-grouper extension Resolves: #1355845 - Add disable-screenshield extension Resolves: #1643501 |