/** Renders the paging information into the title bar. */
private void renderTitle() {
int resultEnd = querySize;
String totalStr;
if (search.getTotal() != Search.UNKNOWN_SIZE) {
resultEnd = Math.min(resultEnd, search.getTotal());
totalStr = messages.of(search.getTotal());
} else {
totalStr = messages.ofUnknown();
}
searchUi.setTitleText(queryText + " (0-" + resultEnd + " " + totalStr + ")");
}
private void renderShowMore() {
searchUi.setShowMoreVisible(
search.getTotal() == Search.UNKNOWN_SIZE || querySize < search.getTotal());
}