diff --git a/web_src/js/components/DiffFileExtensionFilter.vue b/web_src/js/components/DiffFileExtensionFilter.vue index 2e5c6d38d7..8b2a32b0d4 100644 --- a/web_src/js/components/DiffFileExtensionFilter.vue +++ b/web_src/js/components/DiffFileExtensionFilter.vue @@ -176,7 +176,7 @@ function deselectAll() { function applyFilter() { const checkedExtensions = new Set(extensions.value.filter((e) => e.checked).map((e) => e.ext)); applyFilterToFileBoxes(checkedExtensions); - toggleMenu(false); + toggleMenu(); } /** @@ -309,28 +309,30 @@ onUnmounted(() => { class="diff-ext-search-input" :placeholder="locale.search" @keydown.escape="toggleMenu()" - /> + >
- +
{{ locale.no_results ?? 'No extensions found' }}