FIX: use paging during options generation in edit mode

Summary

Implementation for https://gitlab.com/linkahead/linkahead-webui/-/issues/216

Focus

• Queries that retrieve entities that are candiates for drop down use paging.
• A Count Query identifies whether more enties would be available. If so, an option to enter an ID manually is included (a button ) and the dropdown shows a warning that it does not include all entities.

Test Environment

• manually test the behavior

Check List for the Author

Please, prepare your MR for a review. Be sure to write a summary and a focus and create gitlab comments for the reviewer. They should guide the reviewer through the changes, explain your changes and also point out open questions. For further good practices have a look at our review guidelines

• All automated tests pass
• Reference related issues
• Up-to-date CHANGELOG.md (or not necessary)
• Up-to-date JSON schema (or not necessary)
• Appropriate user and developer documentation (or not necessary)
  • How do I use the software? Assume "stupid" users.
  • How do I develop or debug the software? Assume novice developers.
• Annotations in code (Gitlab comments)
  • Intent of new code
  • Problems with old code
  • Why this implementation?

Check List for the Reviewer

• I understand the intent of this MR
• All automated tests pass
• Up-to-date CHANGELOG.md (or not necessary)
• Appropriate user and developer documentation (or not necessary)
• The test environment setup works and the intended behavior is reproducible in the test environment
• In-code documentation and comments are up-to-date.
• Check: Are there specifications? Are they satisfied?

For further good practices have a look at our review guidelines.

src/core/js/edit_mode.js

@@ -981,7 +981,7 @@ var edit_mode = new function () {
                 let time = dateandtime[1];
                 // subseconds are stored in the subsec attribue of the input element
                 result = "<span><input type='date' value='" + date + "'/>" +
-                    "<input type='time' subsec='"+dateandtime[2]+"' value='" + time + "'/></span>";
+                    "<input type='time' subsec='" + dateandtime[2] + "' value='" + time + "'/></span>";
             } else if (property.value && ((property.name || "").toLowerCase() == "year" || (date.match(/-/g) || []).length == 0)) {
                 // Year
                 result = "<input type='number' value='" + date + "'/>";
@@ -1018,7 +1018,7 @@ var edit_mode = new function () {
                 options.then((_options) => {
                     // The options might not include all entites (if there are
                     // many). Include the property value if it is missing.
-                    if (property.value!="" && -1 == _options.map((e) => {
+                    if (property.value != "" && -1 == _options.map((e) => {
                             return e.value
                         }).indexOf(property.value)) {
                         _options = _options.concat([$(`<option value="${property.value}">ID: ${property.value}</option>`)[0]])
@@ -1893,7 +1893,9 @@ var edit_mode = new function () {
 
         if (n_entities > max_options || n_files > max_options) {
             // add notification that not all entities are shown
-            options = [$(`<option disabled=true value="NA"/>`).text('Dropdown only shows selection of possible entities!')[0]].concat(options);
+            options = [$(`<option disabled=true value="NA"/>`).text(
+                `More than ${max_options} possible options; showing only a subset. You may need to enter the id manually.`
+            )[0]].concat(options);
         }
         return options;
     }