final Widget inputWidget = input_.asWidget();
ElementIds.assignElementId(inputWidget.getElement(),
ElementIds.CONSOLE_INPUT);
input_.addClickHandler(secondaryInputHandler) ;
inputWidget.addStyleName(styles_.input());
input_.addCursorChangedHandler(new CursorChangedHandler()
{
public void onCursorChanged(CursorChangedEvent event)
{
Scheduler.get().scheduleDeferred(new ScheduledCommand()
{