Ciao a tutti, mi consigliate un buon editor HTML per linux (ed eventualmente anche per win), che non sia il vim? :-) -- Paolo