pageBox = new TextBox();
pageBox.setWidth("25px");
pageBox.setHeight("20px");
pageBox.setStyleName("PageBox");
pageBox.addKeyDownHandler(new EnterKeyHandler() {
protected void onEnter(KeyDownEvent event) {
int page = resolvePage(pageBox.getText());
if (page < 0 || page > currentPage.getLastPage()) {
pageBox.setText(String.valueOf(currentPage.getIndex() + 1));
} else {