Ogni tanto le icone del menù di gnome si rimpiccioliscono (penso quando la lista degli elementi si allunga troppo e non ci sta nello schermo)
Che voi sappiate, si può forzare questo comportamento? (che sembrerebbe essere abbastanza casuale) Ho cercato in gconf ma non l'ho trovato...sicuramente è li ma non lo vedo -- Davide Corio davide.corio<at>redomino.com Redomino S.r.l. C.so Monte Grappa 90/b - 10145 Torino - Italy Tel: +39 011 19502871 - Fax: +39 011 19791122 - http://www.redomino.com/ -- Per REVOCARE l'iscrizione alla lista, inviare un email a [EMAIL PROTECTED] con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a [EMAIL PROTECTED] To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

