Il 25/01/2013 16:08, Gianluca Sforna ha scritto:
Chissà quanto ci vuole a fare una estensione per Gnome Shell che lo faccia cristianamente.
Penso più ad un problema di "isolamento" da parte degli sviluppatori Gnome che non ascoltano sollecitazioni esterne (vedi bug aperto da piu' di un anno...) e.... mi preoccupa di piu' della funzione stessa. Questa potrebbe essere un plugin di gnome shell o una estensione di network-manager...in entrambi i casi non dovrebbe costare troppo sviluppo.