Merged #64 "Editable user profile page"

James Moger

2014-06-05 1984375641fe0880f64e378e8116ca433b28dac2

 src/main/java/com/gitblit/models/UserPreferences.java

@@ -37,7 +37,9 @@

   public final String username;

   public String locale;
   private String locale;

   private Boolean emailMeOnMyTicketChanges;

   private final Map<String, UserRepositoryPreferences> repositoryPreferences = new TreeMap<String, UserRepositoryPreferences>();

@@ -56,6 +58,10 @@
         return new Locale(lang, cc);
      }
      return new Locale(locale);
   }

   public void setLocale(String locale) {
      this.locale = locale;
   }

   public UserRepositoryPreferences getRepositoryPreferences(String repositoryName) {
@@ -96,4 +102,15 @@
      Collections.sort(list);
      return list;
   }

   public boolean isEmailMeOnMyTicketChanges() {
      if (emailMeOnMyTicketChanges == null) {
         return true;
      }
      return emailMeOnMyTicketChanges;
   }

   public void setEmailMeOnMyTicketChanges(boolean value) {
      this.emailMeOnMyTicketChanges = value;
   }
}