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}}
Popularity
WIP: 40
15 of 31 checklist items completed
!1547
· created
Dec 18, 2020
by
Georges Basile Stavracas Neto
master
1. Enhancement
5. App Picker
5. Overview
5. Workspaces
Closed
36
2
189
updated
Mar 17, 2021
Padding in the app grid
!1510
· created
Nov 25, 2020
by
Georges Basile Stavracas Neto
GNOME 40
master
1. Enhancement
5. App Picker
5. Icon Grid
Merged
5
5
updated
Dec 16, 2020
App grid navigation
!1630
· created
Feb 03, 2021
by
Carlos Garnacho
GNOME 40
master
1. Enhancement
5. App Picker
Merged
Approved
4
156
updated
Jun 22, 2023
Multiline icon labels on hover
!1477
· created
Oct 21, 2020
by
Georges Basile Stavracas Neto
GNOME 40
master
1. Enhancement
5. App Picker
Merged
3
1
17
updated
Nov 26, 2020
Always visible app grid navigation arrows
4 of 4 checklist items completed
!2335
· created
Jun 14, 2022
by
Georges Basile Stavracas Neto
GNOME 43
1. Enhancement
5. App Picker
Merged
2
58
updated
Dec 19, 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
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
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
appDisplay: Animate opening app icons menu
!1585
· created
Jan 23, 2021
by
Kolja Lampe
GNOME 40
master
1. Enhancement
5. App Picker
Merged
Approved
1
7
updated
Jan 23, 2021
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
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
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: Use icon grid size as distance passed to SwipeTracker
!2275
· created
Apr 21, 2022
by
Jonas Dreßler
GNOME 42
1. Bug
5. App Picker
Merged
Approved
2
updated
May 06, 2022
(gnome-40) Immediately start drags on pointer devices
!1867
· created
May 31, 2021
by
Georges Basile Stavracas Neto
GNOME 40
gnome-40
1. Enhancement
5. App Picker
Merged
0
updated
May 31, 2021
Immediately start drags on pointer devices
!1866
· created
May 31, 2021
by
Georges Basile Stavracas Neto
GNOME 41
master
1. Enhancement
5. App Picker
Merged
5
updated
May 31, 2021
appDisplay: Add :gesture-modes property
!1844
· created
May 12, 2021
by
Florian Müllner
GNOME 40
master
1. Bug
5. App Picker
Merged
Approved
0
updated
May 12, 2021
style: App folder styling
!1714
· created
Feb 24, 2021
by
Jakub Steiner
master
1. Enhancement
5. App Picker
Merged
Approved
5
updated
Mar 15, 2021
appDisplay: Do not bind popdown call to grabHelper onUngrab
!1635
· created
Feb 04, 2021
by
Marco Trevisan
GNOME 40
master
1. Bug
5. App Picker
Merged
Approved
5
updated
Feb 09, 2021
appDisplay: Handle dropped app favorites
!1594
· created
Jan 26, 2021
by
Florian Müllner
GNOME 40
master
5. App Picker
5. Dash
Merged
Approved
0
updated
Jan 26, 2021
Don't constrain AppFolderDialog to primary monitor workarea
!1590
· created
Jan 25, 2021
by
Georges Basile Stavracas Neto
GNOME 40
master
1. Enhancement
5. App Picker
Merged
Approved
1
updated
Jan 25, 2021
Prev
1
2
Next