Op woensdag 04-07-2007 om 20:34 uur [tijdzone +0200], schreef Robert Spanjaard: > Beide terminals staan op default-instellingen, Gnome-Terminal gebruikt standaard TrueType fonts etc., terwijl xterm standaard bitmap fonts gebruikt IIRC? -- Jan Claeys