–> feiner Texteditor von und für Gnome
http://live.gnome.org/Gedit/LaTeXPlugin http://sourceforge.net/projects/gedit-latex
http://www.micahcarrick.com/09-29-2007/gedit-html-editor.html