[Bug-gnubg] Pasting Position ID not working in Linux .16

[Dave Bellows]

Hello all, I'm using the most recent .16-devel version and I've
noticed that when pasting a position ID into the box after hitting
"enter" the ID reverts to the standard board position.  The Match ID
works as it should.  If I play for a while (or otherwise edit the
board manually) then that becomes the Position ID that the board
reverts to regardless of what I put into the Position ID box.  This
happened in an earlier build as well.

Dave