Improve index page strategy in PagesServlet.

Yuhi Ishikura

2013-06-02 7eb9828ec6a31ad372c6a1dac7fa042bcdbd6818

 src/main/java/com/gitblit/authority/GitblitAuthority.java

@@ -464,9 +464,9 @@
            

            // refresh user

            ucm.certs = null;

            int modelIndex = table.convertRowIndexToModel(table.getSelectedRow());

            int selectedIndex = table.getSelectedRow();

            tableModel.fireTableDataChanged();

            table.getSelectionModel().setSelectionInterval(modelIndex, modelIndex);

            table.getSelectionModel().setSelectionInterval(selectedIndex, selectedIndex);

            

            if (sendEmail) {

               sendEmail(user, metadata, zip);

@@ -804,6 +804,8 @@
   }

   

   private void filterUsers(final String fragment) {

      table.clearSelection();

      userCertificatePanel.setUserCertificateModel(null);

      if (StringUtils.isEmpty(fragment)) {

         table.setRowSorter(defaultSorter);

         return;