ciao, qualcuno che usa gnome come server grafico sa come impostare il tipo di decimale... vorrei che il punto diventasse il separatore dei decimali, ora è settato invece sulla virgola.... grazie mille TMax