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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1797803 Title: Strange hexadecimal characters on Gtk menu Status in gnome-terminal package in Ubuntu: Invalid Bug description: When I open two terminal windows and try to copy paste from one to another I see strange hexadecimal characters. $ lsb_release -rd Description: Ubuntu 18.04.1 LTS Release: 18.04 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1797803/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
