On Wed, 2014-07-16 at 11:33 +0200, Timothy Murphy wrote:
Oron Peled wrote:
> On Wednesday 16 July 2014 01:05:07 Timothy Murphy wrote:
>> Every hour or so the panel does not take any input,
>> eg I cannot change virtual desktop by clicking on them,
>> although I can change them by eg Ctrl-F3 or Ctrl-F5.
>> I haven't found any way to cure this
>> except to log out and login again.
> * Today, after your mail, I verified that restarting "plasma-desktop"
> is sufficient to restore responsiveness:
> - Used Ctrl-ESC to pop-up the process list
> - searched "plasma-desktop" and killed it
> - Used Alt-F2 to run a new "plasma-desktop"
> - The new panel is responsive again.
Thanks very much.
I've made a note of your solution.
About 4 years ago I was getting some grief from Plasma and someone sent
me a script to restart it. I still have it but it's been years since
I've had to use it, but here it is anyway:
#!/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 &
poc