He notado que el idle de debian (estamos trabajando con la version 3.2 de unstable) no tiene el menú shell -> Restart shell. Alguien sabe porque esto es asi? -- Martín Marqués select 'martin.marques' || '@' || 'gmail.com' DBA, Programador, Administrador