Sostituire il pannello default di Gnome

Per modificare il pannello di default di Gnome lanciare da terminale

# gconf-editor

Nella struttura ad albero sulla sinistra della finestra andare su

desktop >> gnome >> session >> required_components

Alla voce panel cambiare il valore gnome-panel con il nuovo pannello (avant-window-navigator, cairo-dock, ...).