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}}
Popularity
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
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
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
Better mode extension support: status sync and disabling.
!1
· created
Jan 25, 2018
by
Didier Roche
GNOME 3.28
master
1. Feature
5. Extensions
Merged
3
185
updated
Jan 30, 2024
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
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
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
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
Catch errors during extension updates
!1082
· created
Mar 09, 2020
by
Florian Müllner
GNOME 3.36
master
1. Bug
5. Extensions
Merged
1
0
updated
Mar 17, 2020
Extension updates (part 2)
!959
· created
Jan 27, 2020
by
Florian Müllner
GNOME 3.36
master
1. Enhancement
5. Extensions
Merged
1
7
updated
Feb 05, 2020
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-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
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
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
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-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
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
Prev
1
2
Next