Refinements to push log display and daily digests

James Moger

2013-05-31 9b26b74d198aa4efbe4b25f6667b98eb5261e13d

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

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

   

   private void filterUsers(final String fragment) {

      table.clearSelection();

      userCertificatePanel.setUserCertificateModel(null);

      if (StringUtils.isEmpty(fragment)) {

         table.setRowSorter(defaultSorter);

         return;