Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell
Merge requests
!1338
cleanup: Use Meta.Workspace.active property
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:active-ws
into
master
Jun 29, 2020
Overview
1
Commits
1
Pipelines
2
Changes
4
Expand
Just a small drive-by cleanup after (another drive-by cleanup in)
mutter!1336 (merged)
Merge request reports