Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!142
Some workspace thumb improvements
代码
评审变更
检出分支
下载
补丁
文本差异
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