On 04/12/2011 18:03, Davide Prina wrote:
e ho visto che c'รจ per esempio questo commento:
//Put your extension initialization code here
Quindi presuppongo che ci sia uno strumento che crea la struttura
contenitore
$ gnome-shell-extension-tool --create-extension
ma mi sa che bisogna aspettare la versione 3.2 di gnome-shell per poter
fare qualcosa di utile
Ciao
Davide
--
Dizionari: http://linguistico.sourceforge.net/wiki
Petizione contro i brevetti software in Europa:
http://petition.stopsoftwarepatents.eu/
Non autorizzo la memorizzazione del mio indirizzo su outlook
--
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]
Archive: http://lists.debian.org/[email protected]
