Increase the size of the toolbar depending on the uidensity (bug 1171…

…799)
mozilla · Sep 24, 2024 · f59519c · f59519c
1 parent 529906c
commit f59519c
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 1 deletion.
diff --git a/web/toolbar.js b/web/toolbar.js
@@ -126,7 +126,18 @@ class Toolbar {
     this.reset();
   }
 
-  #updateToolbarDensity() {}
+  #updateToolbarDensity({ value }) {
+    let name = "normal";
+    switch (value) {
+      case 1:
+        name = "compact";
+        break;
+      case 2:
+        name = "touch";
+        break;
+    }
+    document.documentElement.setAttribute("data-toolbar-density", name);
+  }
 
   #setAnnotationEditorUIManager(uiManager, parentContainer) {
     const colorPicker = new ColorPicker({ uiManager });

diff --git a/web/viewer.css b/web/viewer.css
@@ -227,6 +227,15 @@
   }
 }
 
+html {
+  &[data-toolbar-density="compact"] {
+    --toolbar-height: 30px;
+  }
+  &[data-toolbar-density="touch"] {
+    --toolbar-height: 44px;
+  }
+}
+
 html,
 body {
   height: 100%;