Just tried peterbo's suggestion and that works for me as well - switching to another terminal, then switching back, makes the desktop responsive again.
Just tried peterbo's suggestion and that works for me as well - switching to another terminal, then switching back, makes the desktop responsive again.