I think that is meant as a feature :) This is the ticket where this was requested to be added. https://bugzilla.gnome.org/show_bug.cgi?id=741728 See also this screenshot. https://bug741728.bugzilla-attachments.gnome.org/attachment.cgi?id=310247
** Package changed: ubuntu => gnome-terminal (Ubuntu) ** Bug watch added: GNOME Bug Tracker #741728 https://bugzilla.gnome.org/show_bug.cgi?id=741728 ** Changed in: gnome-terminal (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1797803 Title: Strange hexadecimal characters on Gtk menu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1797803/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
