Rob, I had concluded that my knee jerk "fixing" of PPHOME should be irrelevant but anyway it works now and presumably it isn't worth chasing down exactly why it didn't work first time.
I seem to have lost CTRL-F and CTRL-D as shortcuts (which I use a lot!) for the search and command tools. Can't find anything which suggests that these are configurable, any hints? Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
