Overhauled navigation and flattened look

James Moger

2013-05-19 6ef8d7cd37dcf8b742f23d461266ea7e94f0312d

 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;