Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
GNOME
gnome-shell
Merge requests
Open
0
Merged
10
Closed
3
All
13
Actions
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}}
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
