final ScrollBorder scrollingView = new ScrollBorder(view);
final View viewWithWindowBorder = scrollingView;
// note - the next call needs to be after the creation of the window border so
// that it exists when the header is set up
scrollingView.setTopHeader(new TableHeader(view.getContent(), axes.getAxis(TableAxis.class)));
viewWithWindowBorder.setFocusManager(new TableFocusManager(viewWithWindowBorder));
return viewWithWindowBorder;
}
});
}