revert tippy default theme

Author: wxiaoguang

web_src/js/modules/tippy.js

@@ -3,6 +3,9 @@ import tippy from 'tippy.js';
 const visibleInstances = new Set();
 
 export function createTippy(target, opts = {}) {
+  // do not use "tooltip" (tippy's default),
+  // otherwise the "auto hide tooltip" mechanism would cause tippy popups without role (default to tooltip) been incorrectly hidden.
+  if (!opts.role) opts.role = 'menu';
   const instance = tippy(target, {
     appendTo: document.body,
     animation: false,
@@ -27,7 +30,7 @@ export function createTippy(target, opts = {}) {
       visibleInstances.add(instance);
     },
     arrow: `<svg width="16" height="7"><path d="m0 7 8-7 8 7Z" class="tippy-svg-arrow-outer"/><path d="m0 8 8-7 8 7Z" class="tippy-svg-arrow-inner"/></svg>`,
-    role: 'menu',
+    ...(opts?.role && {theme: opts.role}),
     ...opts,
   });
 
@@ -68,7 +71,6 @@ function attachTooltip(target, content = null) {
     content,
     delay: 100,
     role: 'tooltip',
-    theme: 'tooltip',
     hideOnClick,
     placement: target.getAttribute('data-tooltip-placement') || 'top-start',
     ...(target.getAttribute('data-tooltip-interactive') === 'true' ? {interactive: true, aria: {content: 'describedby', expanded: false}} : {}),