Dev console input starts with a character

After pressing enter, the textbox has one character in it and the next input to the developer console begins with a box when enter is pressed again unless the one character is backspaced.