[Tech] refresh gnome-panel

[Gian]

hola,

ho uno scrippettino che modifica, in base a come gira il tempo, i file
di configurazione di gnome panel (~/.gnome2/panel2.d/default/launchers/*); 

la modifica consiste solo nel cambio dell'immagine dell'icona di un
particolare pulsante; 

il cruccio: come far fare un refresh a caldo a gnome panel senza dover
per forza invocare un "killall gnome-panel" (che genera un antipatico
effetto lampeggio)?

la cosa dovrebbe essere fattibile[*], dato che se la modifica viene
effettuata con gli strumenti consoni (launcher properties), il "lampeggio" 
non sussiste... 

ogni hint e' moltissimamente ben accetto!!


bye,


[*] anche perche' _tutto_ si puo' fare, col tempo... ;)



-- 

Gian

member of  A.G.O.W. #C10771
   and orgoglione to be!
       :(){ :|:&};: