Re: Gnome2-Terminal

2002-12-03 Diskussionsfäden M G Berberich
Hallo, Am Friday, den 29. November 2002 18:43:38 schrieb Jan Parthey: wie kann ich die verschiedenen Profile des gnome2-terminal mit einem Texteditor bearbeiten? Problem: Schriftarten lassen sich nicht richtig einstellen? Am besten garnicht. DIe Profile sind in gconf gespeichert. Am besten

Gnome2-Terminal

2002-11-29 Diskussionsfäden Jan Parthey
Hallo Liste, wie kann ich die verschiedenen Profile des gnome2-terminal mit einem Texteditor bearbeiten? Problem: Schriftarten lassen sich nicht richtig einstellen? thx, -- Häufig gestellte Fragen und Antworten (FAQ): http://www.de.debian.org/debian-user-german-FAQ/ Zum AUSTRAGEN schicken