https://gitlab.gnome.org/GNOME/gnome-terminal/issues/75
found upstream but was closed "wontfix" on 2019-02-04
Not for Ubuntu to implement so closing
** Bug watch added: gitlab.gnome.org/GNOME/gnome-terminal/issues #75
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/75
** Changed in: hund
** Also affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1477882
Title:
Gnome terminal tab cannot be closed with middle clic
