Skip to content
GitLab
Explore
Sign in
126 forks: 124 public, 2 internal, and 0 private
Created date
Iñigo Martínez /
gnome-shell-extensions
meta: Update description note for reporting bugs
1
Updated
Dec 20, 2017
1
0
0
Updated
Dec 20, 2017
Xiaoguang Wang /
gnome-shell-extensions
Bump version to 3.35.92
0
Updated
Apr 10, 2020
0
0
0
Updated
Apr 10, 2020
Jonas Ådahl /
gnome-shell-extensions
window-list: Fix icons not showing for some windows on wayland
0
Updated
Nov 30, 2023
0
0
0
Updated
Nov 30, 2023
Jonas Kümmerlin /
gnome-shell-extensions
classic: fix panel gradient in overview
0
Updated
Jan 28, 2018
0
0
0
Updated
Jan 28, 2018
Hồng Quân Nguyễn /
gnome-shell-extensions
Bump version to 3.29.90
0
Updated
Aug 05, 2018
0
0
0
Updated
Aug 05, 2018
Daniel Schweighöfer /
gnome-shell-extensions
Added that special folders for which the bookmark has been renamed will now display that name
0
Updated
Aug 30, 2018
0
0
0
Updated
Aug 30, 2018
Bastien Durel /
gnome-shell-extensions
script to remember install steps
0
Updated
Nov 14, 2018
0
0
0
Updated
Nov 14, 2018
Feldwor /
gnome-shell-extensions
Bump version to 3.30.0
0
Updated
Oct 09, 2018
0
0
0
Updated
Oct 09, 2018
Thomas Ingvarsson /
gnome-shell-extensions
Bump version to 3.30.0
0
Updated
Sep 20, 2018
0
0
0
Updated
Sep 20, 2018
Acidburn0zzz /
gnome-shell-extensions
Bump version to 3.30.1
1
Updated
May 29, 2020
1
0
0
Updated
May 29, 2020
Will Leonardi /
gnome-shell-extensions
Bump version to 3.31.2
0
Updated
Nov 19, 2018
0
0
0
Updated
Nov 19, 2018
Denis Gorodnichev /
gnome-shell-extensions
Bump version to 3.31.2
0
Updated
Nov 23, 2018
0
0
0
Updated
Nov 23, 2018
Florian Müllner /
gnome-shell-extensions
window-list: Fix resetting handler ID
0
Updated
Oct 11, 2024
0
1
0
Updated
Oct 11, 2024
Fabian P. Schmidt /
gnome-shell-extensions
Bump version to 3.32.0
0
Updated
Mar 20, 2019
0
0
0
Updated
Mar 20, 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
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
Christoph Reiter /
gnome-shell-extensions
lint: Remove misleading globals
0
Updated
Jun 30, 2019
0
0
0
Updated
Jun 30, 2019
insomniaqc /
gnome-shell-extensions
Update Friulian translation
0
Updated
Aug 31, 2019
0
0
0
Updated
Aug 31, 2019
Victor Oliveira /
gnome-shell-extensions
Update Croatian translation
0
Updated
Sep 04, 2019
0
0
0
Updated
Sep 04, 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
Prev
1
2
3
4
5
…
7
Next
