> I am running ProofPower on Ubuntu 10.04.
>
> I had a problem a while back (probably when I first upgraded
> to 10.04) with cut and paste, which didn't work whether done
> by keyboard or by menu.
>
> I never found out what it was, but eventually it went away,
> presumably as a result of something being upgraded.
>
> A couple of days it came back.

This is probably a bug in gnome that I reported long ago and seems to keep
coming back. Try:

sudo killall gnome-settings-daemon

Regards,

Rob.



_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to