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}}
Updated date
Fix turning off VPN
!2426
· created
Aug 15, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. Network
Merged
Approved
5
updated
Aug 30, 2022
accessDialog: Allow body label to wrap lines
!2377
· created
Jul 12, 2022
by
Georges Basile Stavracas Neto
GNOME 43
1. Enhancement
5. Portal Helper
Merged
5
updated
Aug 11, 2022
style: Make menuitems less bright when in checked state
!2388
· created
Jul 22, 2022
by
Sam Hewitt
GNOME 43
1. Enhancement
Merged
Approved
0
updated
Aug 11, 2022
Layout: Force size of overviewGroup
!2351
· created
Jun 30, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. Lock screen
5. Overview
Merged
Approved
1
updated
Aug 11, 2022
quick settings 5: Everything falls into place
!2408
· created
Aug 07, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. Menus
Merged
Approved
2
2
updated
Aug 10, 2022
quick settings 4: The nitty gritty
!2407
· created
Aug 07, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. Menus
Merged
Approved
3
14
updated
Aug 10, 2022
quick settings 2: Let there be menus
!2393
· created
Jul 30, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
Merged
Approved
3
7
updated
Aug 10, 2022
quick settings 1: In the beginning there's the toggle
!2392
· created
Jul 30, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
Merged
Approved
13
11
updated
Aug 10, 2022
More quick settings preparations
!2391
· created
Jul 30, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
Merged
Approved
1
updated
Aug 10, 2022
quickSettings: Bind menu arrow's reactivity to parent
!2405
· created
Aug 05, 2022
by
Florian Müllner
1. Enhancement
5. Menus
Merged
Approved
0
updated
Aug 06, 2022
Some power profiles tweaks
!2389
· created
Jul 23, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. Power
Merged
Approved
1
updated
Jul 27, 2022
st/button: Add :icon-name property
!2254
· created
Mar 21, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
5. St
Merge After Branch
Merged
Approved
0
updated
Jul 10, 2022
build: Default to soup3
!2338
· created
Jun 17, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
Merged
Approved
3
updated
Jun 21, 2022
status/volume: Hide sliders initially
!2295
· created
May 11, 2022
by
Florian Müllner
GNOME 43
1. Enhancement
Merged
Approved
3
updated
May 28, 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
Factor in dash margins in startup animation and icon size calcualtion
!2191
· created
Feb 16, 2022
by
Jonas Dreßler
1. Enhancement
5. Dash
Merged
1
updated
Mar 23, 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
status: Show -disabled icons when devices are disabled
!2198
· created
Feb 18, 2022
by
Jonas Dreßler
1. Enhancement
5. Panel
Merged
7
updated
Feb 23, 2022
theme: Stylesheet papercuts and other visual fixes
!2172
· created
Feb 10, 2022
by
Sam Hewitt
GNOME 42
1. Cleanup
1. Enhancement
Merged
Approved
24
updated
Feb 17, 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
Prev
1
2
3
4
5
6
7
8
9
…
13
Next