diff --git a/web_src/js/components/DiffFileExtensionFilter.vue b/web_src/js/components/DiffFileExtensionFilter.vue index 50c7407d42..35c1a4a73e 100644 --- a/web_src/js/components/DiffFileExtensionFilter.vue +++ b/web_src/js/components/DiffFileExtensionFilter.vue @@ -65,7 +65,6 @@ export default defineComponent({ const filename = (box as HTMLElement).getAttribute('data-new-filename') || ''; const ext = this.getExtension(filename); const isHidden = (box as HTMLElement).classList.contains('tw-hidden'); - if (!extensionMap.has(ext)) { extensionMap.set(ext, {total: 0, visible: 0}); } @@ -155,7 +154,7 @@ export default defineComponent({ + -
+
@@ -209,6 +210,12 @@ export default defineComponent({ overflow-x: hidden; max-height: 450px; padding: 0.75rem; + padding-top: 0.5rem; + } + + .ui.dropdown.diff-file-extension-filter .menu > .header { + margin-top: 0; + padding-top: 0; } .ui.dropdown.diff-file-extension-filter .menu .ui.form { @@ -223,12 +230,25 @@ export default defineComponent({ margin-bottom: 0; } - .ui.dropdown.diff-file-extension-filter .button.red { + .ui.dropdown.diff-file-extension-filter .diff-ext-filter-btn-active { color: var(--color-red-700); border-color: var(--color-red-300); background: var(--color-red-50); } + .ui.dropdown.diff-file-extension-filter .diff-ext-text-btn { + background: none; + border: none; + padding: 0; + color: var(--color-primary); + cursor: pointer; + font-size: inherit; + } + + .ui.dropdown.diff-file-extension-filter .diff-ext-text-btn:hover { + text-decoration: underline; + } + .ui.dropdown.diff-file-extension-filter .filter-indicator-dot { position: absolute; top: 0.15rem;