Merge pull request #3710 from inception-project/bugfix/3705-annotatio…

…n.default-preferences.page-size-is-ignored-even-if-defined-in-settings.properties #3705 - annotation.default-preferences.page-size is ignored even if defined in settings.properties
inception-project · Jan 10, 2023 · 1c5e7f0 · 1c5e7f0
2 parents 7c96357 + 8c03b51
commit 1c5e7f0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/...tudarmstadt/ukp/clarin/webanno/api/annotation/preferences/UserPreferencesServiceImpl.java b/...tudarmstadt/ukp/clarin/webanno/api/annotation/preferences/UserPreferencesServiceImpl.java
@@ -53,6 +53,7 @@
 import de.tudarmstadt.ukp.clarin.webanno.model.AnnotationLayer;
 import de.tudarmstadt.ukp.clarin.webanno.model.Mode;
 import de.tudarmstadt.ukp.clarin.webanno.model.Project;
+import de.tudarmstadt.ukp.clarin.webanno.support.ApplicationContextProvider;
 import de.tudarmstadt.ukp.inception.preferences.Key;
 import de.tudarmstadt.ukp.inception.preferences.PreferencesService;
 import de.tudarmstadt.ukp.inception.rendering.coloring.ColoringService;
@@ -329,6 +330,14 @@ public static class BratAnnotationEditorManagerPrefs
 
         private int defaultPageSize = 10;
 
+        public BratAnnotationEditorManagerPrefs()
+        {
+            AnnotationEditorDefaultPreferencesProperties defaults = ApplicationContextProvider
+                    .getApplicationContext()
+                    .getBean(AnnotationEditorDefaultPreferencesProperties.class);
+            defaultPageSize = defaults.getPageSize();
+        }
+
         public int getDefaultPageSize()
         {
             return defaultPageSize;