Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!143
windowNavigator: gnome-shell restart when trying to change the workspace
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thun Pin
requested to merge
thunpin/gnome-shell-extensions:windowNavigator_gnome-shell-restart-when-trying-to-change-the-workspace
into
master
Nov 19, 2020
Overview
2
Commits
1
Pipelines
2
Changes
1
Expand
Only display the tooltip to the current workspace.
Fixes
#272
.
Merge request reports