Ian Shaw wrote: > It is no longer possible to copy the match ID or position ID individually. > This can have unfortunate consequences.
I agree with Ian that this is an unfortunate feature and I don't understand why this change was instituted. Reverting to the old system with separate IDs should solve Ian's problem. As a general rule, it leads to subtle and annoying problems whenever the user is denied the ability to select the exact text that he or she wishes to copy, cut, or paste. Tim _______________________________________________ Bug-gnubg mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-gnubg
