From 1984375641fe0880f64e378e8116ca433b28dac2 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 05 Jun 2014 11:29:22 -0400
Subject: [PATCH] Merged #64 "Editable user profile page"
---
src/main/java/com/gitblit/models/UserPreferences.java | 19 ++++++++++++++++++-
1 files changed, 18 insertions(+), 1 deletions(-)
diff --git a/src/main/java/com/gitblit/models/UserPreferences.java b/src/main/java/com/gitblit/models/UserPreferences.java
index 44e4493..c95b0da 100644
--- a/src/main/java/com/gitblit/models/UserPreferences.java
+++ b/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;
+ }
}
--
Gitblit v1.9.1