Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!142
Some workspace thumb improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
ws-thumb-fixes
into
master
Nov 19, 2020
Overview
1
Commits
5
Pipelines
10
Changes
2
Expand
A couple more fixes to the workspace thumbs in workspace-indicator/window-list.
Edited
Dec 02, 2020
by
Florian Müllner
Merge request reports