From 12226dcd251f52785d7595d680500d8144232ba3 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@ens.fr>
Date: Thu, 28 Jul 2022 21:38:33 +0200
Subject: [PATCH] Fix tooltip not disapearing

---
 src/App.svelte | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/App.svelte b/src/App.svelte
index 9f3a5ef..7d05d35 100644
--- a/src/App.svelte
+++ b/src/App.svelte
@@ -131,6 +131,7 @@
     eventDidMount: info => {
       new Tooltip(info.el, {
         title: info.event.extendedProps.short_name,
+        trigger: 'hover',
         placement: 'top'
       });
     },