Skip to content
GitLab
Explore
Sign in
Register
GNOME
gtk
Merge requests
!644
paned: Don't use a grab
Code
Review changes
Check out branch
Download
Patches
Plain diff
Matthias Clasen
requested to merge
paned-no-grab
into
master
Mar 17, 2019
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
It does not seem necessary for proper functioning of the drag handle.
Merge request reports