/*
  * (non-Javadoc)
  *
  * @see org.eclipse.nebula.widgets.pagination.PageChangedListener#
  * totalElementsChanged(long, long,
  * org.eclipse.nebula.widgets.pagination.PaginationController)
  */
 public void totalElementsChanged(
     long oldTotalElements, long newTotalElements, PageableController controller) {
   // 1) Compute page indexes
   int[] indexes =
       PaginationHelper.getPageIndexes(
           controller.getCurrentPage(), controller.getTotalPages(), 10);
   // Update the GC navigation page with page indexes and selected page.
   pageLinks.setText(rebuildLinks(indexes, 0));
   refreshEnabled(controller);
 }
 /*
  * (non-Javadoc)
  *
  * @see
  * org.eclipse.nebula.widgets.pagination.PageChangedListener#pageIndexChanged
  * (int, int, org.eclipse.nebula.widgets.pagination.PaginationController)
  */
 public void pageIndexChanged(
     int oldPageNumber, int newPageNumber, PageableController controller) {
   int[] indexes =
       PaginationHelper.getPageIndexes(
           controller.getCurrentPage(), controller.getTotalPages(), 10);
   // Update SWT page links with the string links
   pageLinks.setText(rebuildLinks(indexes, newPageNumber));
   // Update Previous/Next links
   refreshEnabled(controller);
 }