Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
1
Merged
22
Closed
3
All
26
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}}
Created date
A bunch of fixes for DND in the app grid
!2348
· created
Jun 29, 2022
by
Jonas Dreßler
1. Bug
5. App Picker
Merged
Approved
1
18
updated
Feb 03, 2023
App grid arrow follow-ups
!2442
· created
Aug 22, 2022
by
Georges Basile Stavracas Neto
GNOME 43
1. Enhancement
5. App Picker
Merged
Approved
1
5
updated
Sep 04, 2022
appDisplay: Avoid negative page numbers
!2500
· created
Sep 29, 2022
by
Daniel van Vugt
GNOME 43
1. Bug
5. App Picker
Closed
7
updated
Nov 30, 2022
appDisplay: Connect to hidden signal after content initialization
!2536
· created
Nov 11, 2022
by
Alessandro Bono
1. Bug
5. App Picker
Merged
Approved
0
updated
Dec 05, 2022
Polish page-switching behavior during DND in the app grid
!2581
· created
Dec 12, 2022
by
Jonas Dreßler
GNOME 44
1. Enhancement
5. App Picker
Merged
Approved
1
13
updated
Dec 19, 2022
appDisplay: Scale running indicator dot translation with scale factor
!3245
· created
Mar 17, 2024
by
Sebastian Keller
GNOME 46
1. Enhancement
5. App Picker
Approved
2
updated
Apr 05, 2024
Prev
1
2
Next