Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
0
Merged
12
Closed
3
All
15
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
panel: Animate showing and hiding of the panel
!381
· created
Feb 01, 2019
by
Jonas Dreßler
1. Enhancement
2. Needs Design
5. Panel
Closed
8
8
updated
Mar 08, 2022
Fade background when top bar is transparent
!164
· created
Jul 24, 2018
by
Florian Müllner
master
1. Feature
5. Panel
Closed
2
updated
Feb 05, 2019
WIP: panel: Drag topmost maximized window
!18
· created
Feb 05, 2018
by
Dylan McCall
master
1. Feature
5. Panel
6. Window management
Closed
13
updated
Sep 02, 2018