7 Oct
2014
7 Oct
'14
5:26 p.m.
| From: Lennart Sorensen <lsorense@csclub.uwaterloo.ca> | I don't care what desktop environment you use, gnome-terminal is a pile | of buggy shit. That's a strong bug vague accusation. What kinds of bugs are you thinking of? I've recently switched to gnome-terminal from xterm because its use of scalable fonts worked better than the standard xterm bitmap fonts on HiDPI screens. The only bug that I've noticed is that my JOVE editor sometimes is missing a few characters. I've been to lazy to track it down but I'm sure that it is a termcap or G-T discrepency. (The editor has only needed a couple of bug fixes this century -- pretty solid.)