diff --git a/src/core/js/webcaosdb.js b/src/core/js/webcaosdb.js index 8c15cab34cc7e743497b65f2ca0fb77b8712ab8a..3f26cd7b4aa127b7c3d2065f0eece10194332618 100644 --- a/src/core/js/webcaosdb.js +++ b/src/core/js/webcaosdb.js @@ -1469,6 +1469,10 @@ var queryForm = new function () { location.href = connection.getBasePath() + "Entity/?" + pagingparam + "query=" + query; } + /** + * Read out the selector for the role/name facet of the query. Return + * "RECORD" if the selector is disabled. + */ this.getRoleNameFacet = function () { if (this.role_name_facet_select) { const result = this.role_name_facet_select.value;