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
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
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-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
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
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
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
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
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
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
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
extensions-app: Support building a separate Devel app
!1661
· created
Feb 09, 2021
by
Florian Müllner
GNOME 40
master
1. Enhancement
5. Extensions
Merged
Approved
6
updated
Feb 11, 2021
Port extensions app and portal to GTK4
!1495
· created
Nov 13, 2020
by
Florian Müllner
GNOME 40
master
5. Extensions
9. Initiative: Port to GTK4
Merged
32
updated
Jan 14, 2021
extensions-app: Add extension filtering
!1493
· created
Nov 12, 2020
by
Florian Müllner
GNOME 40
master
1. Enhancement
5. Extensions
Merged
Approved
4
updated
Nov 12, 2020
extensions-app: Do not expand headerbar switch
!1167
· created
Apr 02, 2020
by
Florian Müllner
GNOME 3.36
master
1. Bug
5. Extensions
Merged
0
updated
Apr 03, 2020
extensionDownloader: Only check server if there's something to update
!1100
· created
Mar 15, 2020
by
Florian Müllner
GNOME 3.36
master
1. Enhancement
5. Extensions
Merged
5
updated
Mar 17, 2020
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
extensionPrefs: Support uninstalling user extensions
!958
· created
Jan 26, 2020
by
Florian Müllner
GNOME 3.36
master
1. Enhancement
5. Extensions
Merged
11
updated
Feb 03, 2020
Prev
1
2
Next