From cff7ccfc20f775dff4d7f76cb9bf2a7766b071ea Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 11 Apr 2014 13:48:16 -0400
Subject: [PATCH] Build with Java 7
---
src/main/java/com/gitblit/models/UserPreferences.java | 14 ++++++++------
1 files changed, 8 insertions(+), 6 deletions(-)
diff --git a/src/main/java/com/gitblit/models/UserPreferences.java b/src/main/java/com/gitblit/models/UserPreferences.java
index 10f69cf..baab071 100644
--- a/src/main/java/com/gitblit/models/UserPreferences.java
+++ b/src/main/java/com/gitblit/models/UserPreferences.java
@@ -27,7 +27,7 @@
/**
* User preferences.
- *
+ *
* @author James Moger
*
*/
@@ -37,19 +37,21 @@
public final String username;
+ public String locale;
+
private final Map<String, UserRepositoryPreferences> repositoryPreferences = new TreeMap<String, UserRepositoryPreferences>();
public UserPreferences(String username) {
this.username = username;
}
-
+
public Locale getLocale() {
if (StringUtils.isEmpty(locale)) {
return null;
}
return new Locale(locale);
}
-
+
public UserRepositoryPreferences getRepositoryPreferences(String repositoryName) {
String key = repositoryName.toLowerCase();
if (!repositoryPreferences.containsKey(key)) {
@@ -61,11 +63,11 @@
}
return repositoryPreferences.get(key);
}
-
+
public void setRepositoryPreferences(UserRepositoryPreferences pref) {
repositoryPreferences.put(pref.repositoryName.toLowerCase(), pref);
}
-
+
public boolean isStarredRepository(String repository) {
if (repositoryPreferences == null) {
return false;
@@ -77,7 +79,7 @@
}
return false;
}
-
+
public List<String> getStarredRepositories() {
List<String> list = new ArrayList<String>();
for (UserRepositoryPreferences prefs : repositoryPreferences.values()) {
--
Gitblit v1.9.1