fix(editor): dismiss hover tooltip on table navigation

This commit is contained in:
Melody Ruch authored and GitHub committed 2026-08-13 12:42:38 +08:00
1 parent e4b9e55883
commit e8156ab411
1 file changed
+3 -2
@@ -4930,6 +4930,7 @@ onMounted(async () => {
},
mousedown: (event: MouseEvent) => {
clearTableNavigationHover();
dismissHoverTooltip();
const currentView = view.value;
if (currentView && startEditorSelectionDrag(currentView, event)) {
return true;
@@ -5603,7 +5604,7 @@ function scrollCursorIntoView() {
});
}
function closeHoverOnContextMenu() {
function dismissHoverTooltip() {
if (!view.value || !hoverCloseEffect) return;
view.value.dispatch({ effects: hoverCloseEffect });
}
@@ -5632,7 +5633,7 @@ defineExpose({
(e: MouseEvent) => {
if (view) {
syncContextMenuStateAtEvent(view, e);
closeHoverOnContextMenu();
dismissHoverTooltip();
}
onContextMenu(e);
contextMenuOpen = true;