Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
10
Merged
259
Closed
12
All
281
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}}
Label priority
dbusServices: Allow to persist services via environment
!2169
· created
Feb 09, 2022
by
Florian Müllner
GNOME 42
1. Enhancement
Merged
Approved
1
updated
Feb 10, 2022
glsl-effect: Allow to set uniform matrices
!2164
· created
Feb 08, 2022
by
Sebastian Wick
GNOME 42
1. Enhancement
Merged
Approved
4
updated
Feb 08, 2022
Add a screen recording indicator
!2163
· created
Feb 08, 2022
by
Ivan Molodetskikh
GNOME 42
1. Enhancement
5. Screenshot
Merged
Approved
17
updated
Feb 17, 2022
dbusServices: Allow replacement
!2152
· created
Feb 03, 2022
by
Florian Müllner
GNOME 42
1. Enhancement
Merged
Approved
4
updated
Feb 07, 2022
theme: Papercut fixes from 42 refresh
!2150
· created
Feb 02, 2022
by
Sam Hewitt
GNOME 42
1. Enhancement
Merged
Approved
1
updated
Feb 14, 2022
screenshot: Move close button to the panel
!2147
· created
Feb 02, 2022
by
Ivan Molodetskikh
GNOME 42
1. Enhancement
5. Screenshot
Merged
Approved
1
13
updated
Feb 17, 2022
screenshot: Enable opacity redirect for the panel
!2138
· created
Jan 31, 2022
by
Ivan Molodetskikh
GNOME 42
1. Enhancement
5. Screenshot
Merged
Approved
0
updated
Feb 17, 2022
dash: Use pin instead of favorites
!2136
· created
Jan 29, 2022
by
Rachit Keerti Das
GNOME 42
1. Enhancement
Merged
Approved
2
updated
Mar 20, 2022
lightbox: Fix banding issues with the vignette shader
!2133
· created
Jan 27, 2022
by
Jonas Dreßler
GNOME 42
1. Enhancement
Merged
Approved
2
4
updated
Feb 14, 2022
overviewControls: Handle keyboard navigation
!2124
· created
Jan 24, 2022
by
Florian Müllner
GNOME 42
1. Enhancement
5. Overview
Merged
Approved
1
6
updated
Apr 21, 2024
stylesheet: Fixes and oversights for the 42 refresh
!2111
· created
Jan 17, 2022
by
Sam Hewitt
GNOME 42
1. Enhancement
Merged
Approved
4
updated
Feb 14, 2022
style: Stylesheet updates for GNOME 42
!2104
· created
Jan 14, 2022
by
Sam Hewitt
1. Enhancement
Merged
Approved
4
1
updated
Feb 14, 2022
Screenshot UI: Screencasts
!2103
· created
Jan 14, 2022
by
Ivan Molodetskikh
GNOME 42
1. Enhancement
5. Screenshot
Merged
Approved
3
25
updated
Feb 17, 2022
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
Use the new high-contrast gsettings key
!2069
· created
Dec 19, 2021
by
Alice Mikhaylenko
GNOME 42
1. Cleanup
1. Enhancement
9. Initiative: Dark Style Preference
Merged
23
updated
Feb 01, 2022
environment: Require gnome-desktop 3.0
!2030
· created
Nov 11, 2021
by
Georges Basile Stavracas Neto
GNOME 42
1. Enhancement
Merged
Approved
0
updated
Apr 05, 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
environment: Apply autoReverse/repeatCount to all transitions
!2007
· created
Oct 21, 2021
by
Florian Müllner
GNOME 42
1. Enhancement
Merged
Approved
1
1
updated
Nov 02, 2021
New screenshot UI
21 of 22 checklist items completed
!1954
· created
Aug 16, 2021
by
Ivan Molodetskikh
GNOME 42
1. Enhancement
1. Feature
5. Screenshot
Merged
Approved
33
245
updated
May 10, 2023
Prev
1
2
3
4
5
6
7
8
9
…
13
Next