Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Merge requests
!14
The source project of this merge request has been removed.
Allow closing of tabs with middle mouse button
Ghost User
requested to merge
(removed):issue_87_close_tabs_middle_click
into
master
Oct 31, 2018
Overview
1
Pipelines
0
Changes
1
Expand
Fixes
#87 (closed)
Merge request reports