please check gnome-terminal from my ppa: https://edge.launchpad.net/~asac/+archive ... that should fix it and monospace 13.333px is right with it.
please check gnome-terminal from my ppa: https:/ /edge.launchpad .net/~asac/ +archive ... that should fix it and monospace 13.333px is right with it.