12 Febbraio 2008 alle 18:15
#21647
::
naturalmente non c’è alcun problema (a meno che tu non sia un purista del DE).
Se vuoi puoi comunque dare un’occhiata a questo ottimo plugin per gedit (l’editor di testo nativo di gnome)
http://live.gnome.org/Gedit/LaTeXPlugin
funziona egregiamente anche se non ha tutte le features di kile (che resta il massimo)