read defaults from openapi spec

api/v1/openapi.yaml

@@ -57,6 +57,8 @@ components:
       $ref: "./openapi/schemas/repository.yaml"
     Item:
       $ref: "./openapi/schemas/item.yaml"
+    Preferences:
+      $ref: "./openapi/schemas/preferences.yaml"
     Error:
       $ref: "./openapi/schemas/error.yaml"
   parameters:

catalogues/options.xml

@@ -25,7 +25,6 @@
         <entry xml:id="ODDversion">4.5.0</entry><!-- Versionsnummer der WeGA-ODD Schemata -->
         <entry xml:id="versionNews">A050346</entry>
         <entry xml:id="versionDate">2022-01-26</entry>
-        <entry xml:id="entriesPerPage">10</entry>
         <entry xml:id="cmifID">e4c10c66-9b0b-4f2e-810c-669b0b2f2e20</entry>
     </div>
     <div xml:id="externalPNDResources">

modules/config.xqm

@@ -501,7 +501,9 @@ declare function config:entries-per-page() as xs:int {
 };
 
 (:~
- : Set user preferences and save to the current session
+ : Set user preferences and save to the current session.
+ : NB, no checks (for valid keys/values) are implemented here 
+ : but should be present in the calling function
  :
  : @param $settings the new settings as map
  : @return a map object like `map {
@@ -539,16 +541,13 @@ declare function config:set-preferences($settings as map(*)) as map(*) {
         }`
  :)
 declare function config:get-preferences() as map(*) {
+    let $openapiPrefs := json-doc($config:openapi-config-path)?components?schemas?Preferences?properties
     let $defaultSettings := 
-        map {
-            'line-wrap': true(),
-            'limit': config:get-option('entriesPerPage'),
-            'rdg-marker': false(),
-            'textConst-marker': true(),
-            'supplied-marker': true(),
-            'note-marker': true(),
-            'thematicCommentaries-marker': true()
-        }
+        map:merge(
+            for $pref in map:keys($openapiPrefs)
+            return
+                map:entry($pref, $openapiPrefs?($pref)?default)
+        )
     let $sessionSettings := if(session:exists()) then session:get-attribute('preferences') else ()
     return
         if(exists($sessionSettings))