Closed dchiller closed 3 months ago
This PR re-implements interval search using OMR-ed data. It adds both back-end and front-end support for this type of search.
A part of the front-end, it adds a helper interface where users can use buttons to add intervals to the search string.
Included two peripheral changes in this PR:
schema.xml
djlint
html
dev
Closes #875.
This PR re-implements interval search using OMR-ed data. It adds both back-end and front-end support for this type of search.
A part of the front-end, it adds a helper interface where users can use buttons to add intervals to the search string.
Included two peripheral changes in this PR:
schema.xml
with no substantive changesdjlint
dependency forhtml
template formatting to thedev
groupCloses #875.