| commit | 0bcde4ce14042354a09e5464f9f91e08dbf7814d | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Wed Jan 23 19:08:51 2019 +0100 |
| committer | margaretha <margaretha@ids-mannheim.de> | Thu Jan 24 14:46:39 2019 +0100 |
| tree | 12c036b6c189238f32bc44e8a89a9d1cfc1004e5 | |
| parent | 62c067646067a851a2da68a89e3e8610ee5d9e0e [diff] [blame] |
Added delete key in setting controllers Change-Id: I82484d0a94d74cf42a68647310e37611e15a62b6
diff --git a/core/src/main/java/de/ids_mannheim/korap/user/User.java b/core/src/main/java/de/ids_mannheim/korap/user/User.java index 5decd6a..7aa4f57 100644 --- a/core/src/main/java/de/ids_mannheim/korap/user/User.java +++ b/core/src/main/java/de/ids_mannheim/korap/user/User.java
@@ -37,7 +37,7 @@ private ParamFields fields; @Getter(AccessLevel.PRIVATE) @Setter(AccessLevel.PRIVATE) - private UserSettings settings; + private UserSettingProcessor settings; //todo: remove! @Getter(AccessLevel.PRIVATE) @Setter(AccessLevel.PRIVATE)