@Override protected Widget createMainWidget() { context_ = new FindResultContext(); FindOutputResources resources = GWT.create(FindOutputResources.class); resources.styles().ensureInjected(); table_ = new FastSelectTable<FindResult, CodeNavigationTarget, Object>( new FindOutputCodec(resources), resources.styles().selectedRow(), true, false); FontSizer.applyNormalFontSize(table_); table_.addStyleName(resources.styles().findOutput()); table_.addClickHandler( new ClickHandler() { @Override public void onClick(ClickEvent event) { if (event.getNativeButton() != NativeEvent.BUTTON_LEFT) return; if (dblClick_.checkForDoubleClick(event.getNativeEvent())) fireSelectionCommitted(); } private final DoubleClickState dblClick_ = new DoubleClickState(); }); table_.addKeyDownHandler( new KeyDownHandler() { @Override public void onKeyDown(KeyDownEvent event) { if (event.getNativeKeyCode() == KeyCodes.KEY_ENTER) fireSelectionCommitted(); event.stopPropagation(); event.preventDefault(); } }); scrollPanel_ = new ScrollPanel(table_); scrollPanel_.setSize("100%", "100%"); return scrollPanel_; }