Add bulk download button for filesystem

2024-05-08 18:29:59 +02:00
parent 1cf6c90c2e
commit 7bc35e912c
4 changed files with 14 additions and 16 deletions
--- a/svelte/src/file_viewer/FileViewer.svelte
+++ b/svelte/src/file_viewer/FileViewer.svelte
@@ -637,8 +637,7 @@ const keyboard_event = evt => {
 .headerbar > * {
 	flex-grow: 0;
 	flex-shrink: 0;
-	margin-left: 4px;
-	margin-right: 4px;
+	margin: 3px;
 }
 .headerbar > .file_viewer_headerbar_title {
 	flex-grow: 1;