From dc89f80fb05fd3e82def000738187bcf907a4f99 Mon Sep 17 00:00:00 2001 From: coomdev Date: Fri, 7 Jan 2022 10:38:12 +0100 Subject: [PATCH] Fix GIF encoding, minor css adjustment for minimap --- src/ScrollHighlighter.svelte | 2 + src/gif.ts | 79 +++++++++++++++++++++++------------- src/main.ts | 62 ++++++++++++++++------------ 3 files changed, 87 insertions(+), 56 deletions(-) diff --git a/src/ScrollHighlighter.svelte b/src/ScrollHighlighter.svelte index 392cf0d..283e097 100644 --- a/src/ScrollHighlighter.svelte +++ b/src/ScrollHighlighter.svelte @@ -91,6 +91,8 @@ onDestroy(() => {