On 11/11/2011 21:23, Leandro Noferini wrote:
On Thu, Nov 10, 2011 at 10:00:24PM +0100, Davide Prina wrote:
non ho capito come si fanno ad aggiungere
plugin alla barra di gnome3!?!?
Con l'applicazione tweak qualchecosa.
penso sia questo gnome-tweak-tool
però qui vedo qualcos'altro che non mi piace/funziona correttamente:
se vado sul tab "shell" non vedo tutto, parte è tagliato dal margine
destro, però non riesco a ridimensionare la finestra.
Questo strumento secondo me era da mettere nelle dipendenze di Gnome.
Però non riesco a capire come installare i plugin per le barre degli
strumenti...
Ciao
Davide
--
Dizionari: http://linguistico.sourceforge.net/wiki
Browser: http://www.mozilla.org/products/firefox
GNU/Linux User: 302090: http://counter.li.org
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]
