From b10b23a47bb822bc3eee671d24fd954ec8d74a7d Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Mon, 01 Aug 2022 01:02:06 +0000
Subject: [PATCH] docs: add documentation for Operand Search, remove debounce
---
assets/js/popover.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/assets/js/popover.js b/assets/js/popover.js
index 8eb637d..6fec7e5 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -50,7 +50,7 @@
li.addEventListener("mouseover", () => {
// fix tooltip positioning
window.FloatingUIDOM.computePosition(li, el, {
- middleware: [window.FloatingUIDOM.offset(15), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
+ middleware: [window.FloatingUIDOM.offset(10), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
}).then(({ x, y }) => {
Object.assign(el.style, {
left: `${x}px`,
--
Gitblit v1.10.0