More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

 src/main/java/com/gitblit/wicket/pages/EditUserPage.java

@@ -178,7 +178,9 @@


            // update user permissions

            for (RegistrantAccessPermission repositoryPermission : permissions) {

               userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               if (repositoryPermission.mutable) {

                  userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               }

            }



            Iterator<String> selectedTeams = teams.getSelectedChoices();