Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!943
OSK widgetry fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/osk-widgetry-fixes
into
master
Jan 21, 2020
Overview
4
Commits
5
Pipelines
10
Changes
1
Expand
Some fixes to OSK widgetry. AFAICS these only are necessary on the master branch.
Merge request reports