Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
3
Merged
7
Closed
2
All
12
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}}
Created date
extensionUtils: Add InjectionManager
!2809
· created
Jun 23, 2023
by
Florian Müllner
2. RFC
5. Extensions
Merged
Approved
8
updated
Aug 05, 2023
Add connectObject()/disconnectObject() convenience methods
!1953
· created
Aug 16, 2021
by
Florian Müllner
1. Cleanup
2. RFC
Merged
1
26
updated
Mar 04, 2022
extensionUtils: Add gettext convenience helpers
!1941
· created
Aug 08, 2021
by
Florian Müllner
GNOME 41
2. RFC
5. Extensions
Merged
Approved
2
3
updated
Jan 05, 2022
windowPreview: Tone down icon animation
!1654
· created
Feb 08, 2021
by
Florian Müllner
GNOME 40
master
2. RFC
Merged
Approved
1
16
updated
Mar 16, 2021
volume: Show indicator when microphone is active
!729
· created
Sep 14, 2019
by
Florian Müllner
master
2. Needs Design
2. RFC
Merged
5
4
updated
Oct 16, 2019
Babystep preparations for explicit framebuffer management (EFM)
!283
· created
Nov 08, 2018
by
Georges Basile Stavracas Neto
master
2. RFC
5. St
Merged
4
updated
Apr 23, 2019
Fix crash when calling gnome-shell --replace multiple times
!66
· created
Mar 22, 2018
by
Georges Basile Stavracas Neto
master
1. Crash
2. RFC
Merged
2
updated
Oct 31, 2021