@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_;
}
