Re: [Bug-gnubg] Copy and Paste gnubg ID problems

[Timothy Y. Chow]

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