Ho notato che le icone hanno l'estensione .ico (come quelle di windows) invece che .png come quelle predefinite in linux (ubuntu 8.10), cambia qualcosa? Se si, c'è un modo per convertirle in .png?