Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
3
Merged
37
Closed
1
All
41
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}}
Milestone due date
Turn extension-prefs into an app
!956
· created
Jan 25, 2020
by
Florian Müllner
GNOME 3.36
master
1. Enhancement
5. Extensions
Merged
5
9
updated
Feb 03, 2020
extensionPrefs: Don't (re-)bind text domain
!918
· created
Jan 05, 2020
by
Florian Müllner
GNOME 3.36
master
1. Bug
5. Extensions
Merged
0
updated
Jan 06, 2020
extensionPrefs: Request correct GDK/GTK versions
!686
· created
Aug 21, 2019
by
Florian Müllner
GNOME 3.34
master
1. Cleanup
5. Extensions
Merged
1
updated
Aug 26, 2019
extensionPrefs: Add missing return value
!635
· created
Jul 20, 2019
by
Florian Müllner
GNOME 3.34
master
1. Bug
5. Extensions
Merged
1
updated
Jul 22, 2019
extensionSystem: Support locking down extension installation
!3180
· created
Feb 10, 2024
by
Florian Müllner
5. Extensions
Merged
Approved
3
updated
Mar 07, 2024
extensions: Improve handling of enabled-but-inactive extensions
!3073
· created
Dec 22, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
3
updated
Mar 07, 2024
extensions-app: Modernize the code
!3067
· created
Dec 19, 2023
by
Florian Müllner
1. Cleanup
5. Extensions
Merged
Approved
1
updated
Mar 07, 2024
windowManager: Add "opacity: 0" to minimize ease animation
!2968
· created
Sep 25, 2023
by
Keyu Tao
1. Enhancement
5. Extensions
6. Window management
Merged
1
4
updated
Feb 11, 2024
extensions: Fix ngettext convenience
!2952
· created
Sep 15, 2023
by
Florian Müllner
1. Bug
5. Extensions
Merged
Approved
1
0
updated
Sep 16, 2023
Use classes to provide extension convenience API
!2838
· created
Jul 11, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
72
updated
Jul 30, 2023
Split up ExtensionUtils module
!2837
· created
Jul 11, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
29
updated
Jul 15, 2023
extensionUtils: Prepare for upcoming changes
!2832
· created
Jul 10, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
16
updated
Jul 15, 2023
extensionUtils: Add InjectionManager
!2809
· created
Jun 23, 2023
by
Florian Müllner
2. RFC
5. Extensions
Merged
Approved
8
updated
Aug 05, 2023
Refine extension-prefs' error UI
!193
· created
Aug 10, 2018
by
Florian Müllner
master
1. Feature
5. Extensions
Merged
7
updated
Jan 31, 2019
Extension stylesheet cleanups
!188
· created
Aug 03, 2018
by
Marco Trevisan
master
1. Feature
2. Merge After Freeze
5. Extensions
Merged
11
updated
Sep 03, 2018
extensionUtils: Include some more helper functions
!150
· created
Jul 14, 2018
by
Florian Müllner
master
1. Feature
5. Extensions
Merged
2
0
updated
Feb 06, 2019
Fixes and performance improvements to the extension system
!96
· created
May 03, 2018
by
Jonas Dreßler
master
1. Bug
1. Performance
5. Extensions
Merged
3
23
updated
Jul 09, 2023
Prev
1
2
Next