Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!1698
Some smaller bugfixes for the WorkspaceLayout
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonas Dreßler
requested to merge
verdre/gnome-shell:workspace-improvements
into
master
Feb 19, 2021
Overview
6
Commits
3
Pipelines
8
Changes
1
Expand
Two straightforward ones, the third one is slightly trickier, but still correct.
Merge request reports