public void onClick(ClickEvent event) { // If clicking on the input panel already, stop propagation. if (event.getSource() == input_) { event.stopPropagation(); return; } // Don't drive focus to the input unless there is no selection. // Otherwise it would interfere with the ability to select stuff // from the output buffer for copying to the clipboard. // (BUG: DomUtils.selectionExists() doesn't work in a timely // fashion on IE8.) if (!DomUtils.selectionExists() && isInputOnscreen()) { input_.setFocus(true); DomUtils.collapseSelection(false); } }