Ok I see. Sometimes I find my self looking at some IP numbers.
For example let's have a look at this IP number 216.58.208.46 Since there are points between numbers it prints only hexadecimal value of first number. 216 = 0xd8 May be it should be more clever. So that if it is an IP adress, there might be no need to display it in hexadecimal notation. I don't know whether hexadecimal notation for IP adresses are used frequently but if you convert this number to hex it should be like that : 0xD83AD02E -- 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
