Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
0
Merged
17
Closed
1
All
18
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
dash: Resolve padding and alignment issues with dash items
!3119
· created
Jan 15, 2024
by
Sam Hewitt
GNOME 46
1. Regression
5. Dash
Merged
Approved
6
updated
Jan 24, 2024
Factor in dash margins in startup animation and icon size calcualtion
!2191
· created
Feb 16, 2022
by
Jonas Dreßler
1. Enhancement
5. Dash
Merged
1
updated
Mar 23, 2022
dash: Put the dot back into its box
!1693
· created
Feb 17, 2021
by
Florian Müllner
GNOME 40
master
1. Bug
5. Dash
Merged
Approved
0
updated
Feb 22, 2021
Re-fittsify dash
!1660
· created
Feb 09, 2021
by
Florian Müllner
GNOME 40
master
5. Dash
Merged
Approved
3
updated
Feb 22, 2021
theme: Space dash items
!1636
· created
Feb 04, 2021
by
Jakub Steiner
GNOME 40
master
1. Enhancement
5. Dash
Merged
5
updated
Feb 22, 2021
theme: adjust dash icon spacing
!1634
· created
Feb 04, 2021
by
Jakub Steiner
GNOME 40
master
1. Enhancement
5. Dash
Merged
8
updated
Feb 22, 2021
Fix Dash icon sizes
!1638
· created
Feb 04, 2021
by
Georges Basile Stavracas Neto
GNOME 40
master
1. Bug
5. Dash
Merged
Approved
6
updated
Feb 11, 2021
dash: Consider additions for separator visibility
!1659
· created
Feb 09, 2021
by
Florian Müllner
master
1. Bug
5. Dash
Merged
Approved
0
updated
Feb 10, 2021
Horizontal Dash
!1559
· created
Jan 06, 2021
by
Georges Basile Stavracas Neto
GNOME 40
master
5. Dash
Merged
Approved
1
12
updated
Feb 03, 2021
dash: Add separator between favorite and running apps
!1606
· created
Jan 28, 2021
by
Florian Müllner
GNOME 40
master
1. Enhancement
5. Dash
Merged
Approved
1
updated
Feb 03, 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
dash: Replace custom actor with layout manager
!1592
· created
Jan 25, 2021
by
Florian Müllner
GNOME 40
master
1. Cleanup
5. Dash
Merged
Approved
1
updated
Jan 25, 2021
overviewControls: Simplify dash placement
!1575
· created
Jan 19, 2021
by
Florian Müllner
GNOME 40
master
1. Cleanup
5. Dash
Merged
Approved
3
updated
Jan 19, 2021
dash: Allow icon sizes equal to the available space
!1533
· created
Dec 11, 2020
by
Georges Basile Stavracas Neto
GNOME 40
master
1. Enhancement
5. Dash
Merged
Approved
1
updated
Dec 11, 2020
dash: Restore icon's expected DND behavior
!1454
· created
Oct 02, 2020
by
Florian Müllner
GNOME 3.38
master
1. Bug
5. Dash
Merged
Approved
0
updated
Oct 29, 2020
dash: Fix messed up icon height
!494
· created
Apr 13, 2019
by
Florian Müllner
GNOME 3.32
master
1. Bug
5. Dash
Merged
3
5
updated
Apr 14, 2019
appFavorites: Don't add app explicitly
!195
· created
Aug 12, 2018
by
Florian Müllner
master
1. Bug
5. Dash
Merged
0
updated
Oct 08, 2018