Skip to content
GitLab
Explore
Sign in
128 forks: 126 public, 2 internal, and 0 private
Created date
ephro /
gnome-shell-extensions
Update Ukrainian translation
0
Updated
Mar 14, 2020
0
0
0
Updated
Mar 14, 2020
Jorgen Wilke /
gnome-shell-extensions
Bump version to 3.35.91
0
Updated
Feb 29, 2020
0
0
0
Updated
Feb 29, 2020
Виктор Кох /
gnome-shell-extensions
Bump version to 3.35.91
0
Updated
Feb 23, 2020
0
0
0
Updated
Feb 23, 2020
Thomas Carmichael /
gnome-shell-extensions
auto-move-windows: Add capability to switch to workspaces when moving windows
0
Updated
Jul 12, 2020
0
0
0
Updated
Jul 12, 2020
Morgan Antonsson /
gnome-shell-extensions
WIP
0
Updated
Nov 07, 2021
0
0
0
Updated
Nov 07, 2021
Georgii Iesaulov /
gnome-shell-extensions
screenshot-window-sizer: Fix cycling through all valid sizes
0
Updated
Dec 08, 2019
0
0
0
Updated
Dec 08, 2019
Willy Stadnick /
gnome-shell-extensions
workspace-indicator: Exclude DESKTOP windows from window previews
0
Updated
Nov 27, 2019
0
0
0
Updated
Nov 27, 2019
Victor Oliveira /
gnome-shell-extensions
Update Croatian translation
0
Updated
Sep 04, 2019
0
0
0
Updated
Sep 04, 2019
insomniaqc /
gnome-shell-extensions
Update Friulian translation
0
Updated
Aug 31, 2019
0
0
0
Updated
Aug 31, 2019
Christoph Reiter /
gnome-shell-extensions
lint: Remove misleading globals
0
Updated
Jun 30, 2019
0
0
0
Updated
Jun 30, 2019
Marco Trevisan /
gnome-shell-extensions
places-menu: Adjust to GObject-ification of menu items
0
Updated
Nov 21, 2019
0
0
0
Updated
Nov 21, 2019
AndreasBottcher /
gnome-shell-extensions
Fix: Application Menu doesn't work (this._button.hotCorner is undefined)
0
Updated
Apr 04, 2019
0
0
0
Updated
Apr 04, 2019
Fabian P. Schmidt /
gnome-shell-extensions
Bump version to 3.32.0
0
Updated
Mar 20, 2019
0
0
0
Updated
Mar 20, 2019
Florian Müllner /
gnome-shell-extensions
window-list: Fix resetting handler ID
0
Updated
Oct 21, 2024
0
1
0
Updated
Oct 21, 2024
Denis Gorodnichev /
gnome-shell-extensions
Bump version to 3.31.2
0
Updated
Nov 23, 2018
0
0
0
Updated
Nov 23, 2018
Will Leonardi /
gnome-shell-extensions
Bump version to 3.31.2
0
Updated
Nov 19, 2018
0
0
0
Updated
Nov 19, 2018
Acidburn0zzz /
gnome-shell-extensions
Bump version to 3.30.1
1
Updated
May 29, 2020
1
0
0
Updated
May 29, 2020
Thomas Ingvarsson /
gnome-shell-extensions
Bump version to 3.30.0
0
Updated
Sep 20, 2018
0
0
0
Updated
Sep 20, 2018
Feldwor /
gnome-shell-extensions
Bump version to 3.30.0
0
Updated
Oct 09, 2018
0
0
0
Updated
Oct 09, 2018
Bastien Durel /
gnome-shell-extensions
script to remember install steps
0
Updated
Nov 14, 2018
0
0
0
Updated
Nov 14, 2018
Prev
1
2
3
4
5
6
7
Next