Copy/paste messed up in TextBox

[GoogleCodeExporter]

I was testing it in ChatBox, not TextBox, but I think it ends up in same 
component.

First extension - added 'cut' action around copy and paste

} else if (evt.getKeyCode() == KeyInput.KEY_X) {
if (copy) {
screen.setClipboardText(textRangeText);
if (rangeHead != -1 && rangeTail != -1) {
editTextRangeText("");
}
}
}


But the bug itself is about plain paste action and selections, without the 
extension above.

Type string abcdefghijk
Select first letter 'a' with mouse or keyboard
Ctrl-C
Position cursor after letter a
Ctrl-V - it is not working
Go to the end of the text by pressing 'END'
Ctrl-V - last letter is replaced by a even if it is not selected

Another bug - selection is not possible after pasting
Type string aaabbb
Select it all with Shift-arrows or shift-end
Copy
Paste
(one letter is lost as above)
Now try to select text by pressing Shift-left. Cursor is moving, but selection 
is not working. Selecting with mouse still works.

Original issue reported on code.google.com by artur.bi...@gmail.com on 15 Mar 2013 at 11:49