Scott's workaround doesn't work for me; I don't get any output when I
run `dconf read /org/gnome/terminal/legacy/profiles:/list`.

I'm reopening this, because I think it will be painful for a _lot_ of
Ubuntu users.

** Changed in: gnome-terminal (Ubuntu)
       Status: Invalid => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1463072

Title:
  highlighting on left mouse double click ends at :

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-terminal/+bug/1463072/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to