diff options
| -rw-r--r-- | web/share/js/wm.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/share/js/wm.js b/web/share/js/wm.js index 18ae5957..ee4da180 100644 --- a/web/share/js/wm.js +++ b/web/share/js/wm.js @@ -204,7 +204,7 @@ function __WindowManager() { let el_menu = el_button.parentElement.querySelector(".menu"); if (el_button === el_a && window.getComputedStyle(el_menu, null).visibility === "hidden") { let rect = el_menu.getBoundingClientRect(); - let offset = self.getViewGeometry().right - (rect.x + el_menu.clientWidth); + let offset = self.getViewGeometry().right - (rect.x + el_menu.clientWidth + 2); // + 2 is ugly hack if (offset < 0) { el_menu.style.right = "0px"; } else { |