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
extensionManager: Add extensionShouldBeEnabled() method
!2810
· created
Jun 27, 2023
by
Florian Müllner
2. RFC
5. Extensions
2
2
updated
Jul 29, 2023
extensionUtils: Add InjectionManager
!2809
· created
Jun 23, 2023
by
Florian Müllner
2. RFC
5. Extensions
Merged
Approved
8
updated
Aug 05, 2023
Draft: extensionSystem: Support ini metadata
!2310
· created
May 28, 2022
by
Florian Müllner
2. RFC
5. Extensions
4
9
updated
Aug 10, 2023
No way to disable extension update checking
!1099
· created
Mar 15, 2020
by
Mike Moss
2. Needs Design
5. Extensions
2
11
updated
Oct 04, 2022
gnome-shell-extension-tool: Add install command
!252
· created
Oct 04, 2018
by
Raphael von der Grün
master
1. Feature
5. Extensions
Closed
2
17
updated
Aug 21, 2019
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
Prev
1
2
3
Next