GLGUI Update 28cbf4716bb94aa087ddb85b3f2383ff166cb89f:
Added GLTextBox text editing features: Selection with shift+arrow keys, home/end buttons, ctrl+a, block (un-)indent, undo/redo.