Panel freezing

[Timothy Murphy]

Patrick O'Callaghan wrote:

> #!/bin/sh
> # Restart the Plasma workspace under KDE. Use if Plasma crashes or
> # Autohide stops working.
> 
> kquitapp plasma-desktop
> sleep 5s
> plasma-desktop &>/dev/null &

Thanks, I've put in ~/bin for emergency use.
Actually, my panel has not frozen for 24 hours,
and it has also stopped raining (I'm in Italy).
I'm not saying that is proof of a connection, but ...

-- 
Timothy Murphy  
e-mail: gayleard /at/ eircom.net
School of Mathematics, Trinity College, Dublin 2, Ireland