From e7ef1b86cc670ecab680a02521b40943afc4b323 Mon Sep 17 00:00:00 2001 From: zadam Date: Wed, 14 Sep 2022 23:28:29 +0200 Subject: [PATCH] zoom buttons in main menu, closes #2894 --- src/public/app/widgets/buttons/global_menu.js | 68 +++++++++++++++++-- 1 file changed, 64 insertions(+), 4 deletions(-) diff --git a/src/public/app/widgets/buttons/global_menu.js b/src/public/app/widgets/buttons/global_menu.js index c13b952bb..6b271245c 100644 --- a/src/public/app/widgets/buttons/global_menu.js +++ b/src/public/app/widgets/buttons/global_menu.js @@ -35,13 +35,31 @@ const TPL = ` bottom: -30px; width: 100%; height: 100%; - pointer-events: none; } .update-to-latest-version-button { display: none; } + + .global-menu .zoom-buttons a { + display: inline-block; + border: 1px solid var(--button-border-color); + border-radius: 3px; + padding: 3px; + margin-left: 3px; + color: var(--button-text-color); + background-color: var(--button-background-color); + } + + .global-menu .zoom-buttons a:hover { + text-decoration: none; + } + + .global-menu .zoom-state { + margin-left: 5px; + margin-right: 5px; + }