ui: add complex descriptors selection in problem search (#636)

Co-authored-by: undefined <i@undefined.moe>
Co-authored-by: panda <panda_dtdyy@outlook.com>
This commit is contained in:
authored and GitHub committed 2023-08-24 12:45:33 +08:00
1 parent 301cd8e9d2
commit 5403848bc6
9 files changed
+312 -87

No files matched your search

@@ -15,6 +15,11 @@
</button>
</div>
</form>
</div>
{% if handler.domain.pinnedFilter %}
{% include "partials/problem_search.html" %}
{% endif %}
<div class="section__body no-padding">
{% include "partials/problem_list.html" %}
</div>
</div>