Esempio n. 1
0
 /** 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 + ")");
 }
Esempio n. 2
0
 private void renderShowMore() {
   searchUi.setShowMoreVisible(
       search.getTotal() == Search.UNKNOWN_SIZE || querySize < search.getTotal());
 }