Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
Open
18
Merged
263
Closed
42
All
323
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Priority
extensions: Stop using global.log()
!264
· created
Jul 10, 2023
by
Florian Müllner
Merged
0
updated
Jul 10, 2023
js: Use connectObject()
!263
· created
Jul 09, 2023
by
Florian Müllner
1. Cleanup
Merged
0
updated
Jul 09, 2023
ci: Use wrapper to run eslint
!262
· created
Jul 09, 2023
by
Florian Müllner
Merged
0
updated
Jul 09, 2023
Update .gitignore
!261
· created
Jul 09, 2023
by
Florian Müllner
Merged
0
updated
Jul 09, 2023
data: Remove left-over file
!260
· created
Jul 09, 2023
by
Florian Müllner
Merged
0
updated
Jul 09, 2023
Turn extensions into modules
!259
· created
Jul 06, 2023
by
Florian Müllner
Merged
1
updated
Jul 06, 2023
Bump version to 45.alpha
!258
· created
Jul 02, 2023
by
Florian Müllner
Merged
0
updated
Jul 06, 2023
light-style: Always save scheme preference on enable()
!257
· created
Jul 02, 2023
by
Florian Müllner
Merged
0
updated
Jul 02, 2023
extensions: Add new light-style extension
!256
· created
Jun 03, 2023
by
Florian Müllner
Merged
1
updated
Jun 23, 2023
Account for app menu removal
!255
· created
May 26, 2023
by
Florian Müllner
Merged
1
updated
May 26, 2023
Replace classic styling with color scheme preference
!254
· created
May 26, 2023
by
Florian Müllner
Merged
2
updated
Jun 08, 2023
window-list: Updated CSS to look more modern
!253
· created
May 16, 2023
by
Alexander Weichart
Merged
Approved
2
3
updated
Jun 08, 2023
Draft: window-list: Simplify visual style
!252
· created
Apr 28, 2023
by
vini
Closed
3
8
updated
Jun 08, 2023
window-list: add tooltip for long window titles
!251
· created
Apr 15, 2023
by
Arik W
Merged
Approved
27
updated
Feb 26, 2024
small css cleanup: update classic panel to be more flatter and coherent with gnome 40 design
!250
· created
Apr 09, 2023
by
dikasp
Closed
5
updated
May 26, 2023
Bump version to 44.0
!249
· created
Mar 19, 2023
by
Florian Müllner
Merged
0
updated
Apr 19, 2023
Bump version to 44.rc
!248
· created
Mar 06, 2023
by
Florian Müllner
Merged
0
updated
Mar 06, 2023
Bump version to 44.beta
!247
· created
Feb 14, 2023
by
Florian Müllner
Merged
0
updated
Feb 14, 2023
Center-align extension panel menus
!246
· created
Jan 10, 2023
by
robxnano
Merged
2
updated
Feb 14, 2023
Bump version to 43.1
!245
· created
Oct 22, 2022
by
Florian Müllner
Merged
0
updated
Oct 26, 2022
Prev
1
2
3
4
5
6
7
8
…
17
Next