9 Aprile 2011 alle 10:04
#57928
::
Il font bbding è solo in versione bitmap.
ok, un’altra nozione nella bisaccia, che prima o poi tornerà utile.
Davvero usi gedit? 😯
a mio parere gedit è un editor molto sottovalutato: in realtà ha tanti punti di forza, innanzitutto la semplicità di uso e di personalizzazione. Il plugin LaTeX per gedit poi è, sempre a mio parere, molto buono anche se ancora acerbo. Avevo anche iniziato a scrivere un articoletto su gedit e il LaTeX-plugin con l’idea di proporne la pubblicazione qui sul forum, ma in quel periodo le mie nozioni su LaTeX erano ancora in moto browniano e desistetti. Ma se pensi che una cosa del genere possa tornare utile potrei vedere di terminare il lavoro e sottoporlo all’attenzione degli amministratori.
Ciao.
Sam Qasbah