Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
0
Merged
66
Closed
3
All
69
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
this.actor removal: Inherit all UI objects from Widgets or Actors
!559
· created
May 28, 2019
by
Marco Trevisan
GNOME 3.34
master
1. Cleanup
Merged
160
updated
Mar 25, 2020
Fix some minor style issues
!640
· created
Jul 23, 2019
by
Florian Müllner
GNOME 3.34
master
1. Cleanup
Merged
1
updated
Feb 12, 2021
Change window-clone-border and window-close style
!461
· created
Mar 15, 2019
by
Feichtmeier
GNOME 3.34
master
1. Enhancement
Merged
4
12
updated
Aug 26, 2021
Rescan icon theme properly
!661
· created
Aug 02, 2019
by
Georges Basile Stavracas Neto
GNOME 3.34
master
1. Bug
5. St
Merged
1
3
updated
Aug 26, 2021
Use Clutter animations for non-animatable properties
!666
· created
Aug 06, 2019
by
Florian Müllner
GNOME 3.34
master
1. Enhancement
1. Performance
Merged
8
updated
Jul 09, 2023
Replace Tweener with Clutter's implicit animations for animating actors
!22
· created
Feb 08, 2018
by
Florian Müllner
GNOME 3.34
master
1. Feature
1. Performance
Merged
9
12
updated
Jul 09, 2023
Prev
1
2
3
4
Next