[Bug-gnubg] [Proposal] Copy/Paste gnubgID

[Massimiliano Maini]

In "Edit" menu there are "Copy" and "Paste".

Since they are supposed to copy/paste the gnubgID, I wuold call them "Copy 
gnubgID" and "Paste gnubgID",
otherwise, it's not clear. Also, I would stick them one next to the other.

Also, the "Paste" of the gnubgID does not work if the ID field hasn't got the 
focus (a cursor is
blinking in it). I would say it should work even without the focus.

Notice finally that once you've clicked in the gnubgID field, the focus is 
there (blinking cursor)
and it stays there forever (not sure it's intentional).

MaX.