merge: upstream

2023-10-31 19:33:24 +01:00
parent c491385f2e bf01c1ee64
commit 4dd23a3793
217 changed files with 6773 additions and 2275 deletions
@@ -145,11 +145,13 @@ const onGlobalMousedown = (event: MouseEvent) => {
 };

 let childCloseTimer: null | number = null;
+
 function onItemMouseEnter(item) {
 	childCloseTimer = window.setTimeout(() => {
 		closeChild();
 	}, 300);
 }
+
 function onItemMouseLeave(item) {
 	if (childCloseTimer) window.clearTimeout(childCloseTimer);
 }