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}}
Created date
Use libadwaita for extension preferences
!2012
· created
Oct 29, 2021
by
Florian Müllner
GNOME 42
1. Enhancement
5. Extensions
Merged
Approved
6
19
updated
Feb 08, 2022
Only allow one extension prefs dialog at a time
!2013
· created
Oct 29, 2021
by
Florian Müllner
GNOME 42
1. Enhancement
5. Extensions
Merged
Approved
1
updated
Nov 02, 2021
extensions-app: Start as service when D-Bus activated
!2076
· created
Dec 22, 2021
by
Florian Müllner
GNOME 42
1. Enhancement
5. Extensions
Merged
Approved
1
updated
Jan 09, 2022
Draft: extensionSystem: Support ini metadata
!2310
· created
May 28, 2022
by
Florian Müllner
2. RFC
5. Extensions
4
9
updated
Aug 10, 2023
extension-tool: Fix falling back to GSettings
!2552
· created
Nov 22, 2022
by
Florian Müllner
GNOME 44
1. Bug
5. Extensions
Merged
Approved
0
updated
Feb 15, 2023
extensionSystem: Fix extension reloading
!2694
· created
Mar 14, 2023
by
Florian Müllner
GNOME 44
1. Regression
2. Merge After Freeze
5. Extensions
Merged
Approved
1
updated
Mar 19, 2023
extensionUtils: Add InjectionManager
!2809
· created
Jun 23, 2023
by
Florian Müllner
2. RFC
5. Extensions
Merged
Approved
8
updated
Aug 05, 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: Prepare for upcoming changes
!2832
· created
Jul 10, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
16
updated
Jul 15, 2023
Split up ExtensionUtils module
!2837
· created
Jul 11, 2023
by
Florian Müllner
5. Extensions
Merged
Approved
29
updated
Jul 15, 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
extensions-app: Style development window
!2841
· created
Jul 12, 2023
by
Florian Müllner
GNOME 45
1. Enhancement
5. Extensions
Merged
Approved
0
updated
Jul 13, 2023
panel: Add extension hook to add quick settings items
!2894
· created
Aug 15, 2023
by
Florian Müllner
GNOME 45
1. Enhancement
5. Extensions
Merged
Approved
3
updated
Aug 20, 2023
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
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
extension-tool: Remove old compatibility code
!3042
· created
Dec 03, 2023
by
Florian Müllner
GNOME 46
1. Cleanup
5. Extensions
Merged
Approved
1
updated
Dec 04, 2023
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
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: Remember window state
!3115
· created
Jan 13, 2024
by
Florian Müllner
GNOME 46
1. Enhancement
5. Extensions
Merged
Approved
1
2
updated
Jan 15, 2024
extensions-app: Populate about dialog from metainfo
!3158
· created
Jan 31, 2024
by
Florian Müllner
GNOME 46
1. Enhancement
5. Extensions
Merged
Approved
1
updated
Feb 01, 2024
Prev
1
2
3
Next