Fixed issue with the Robot Editor, where the caret position was not updated fast enough when typing very fast.