> 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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
