Rework hover delay, respect editor font size, and enable hover in multibuffers

2022-06-09 17:03:44 -07:00
parent ee33fb03f2
commit b51bd87c10
5 changed files with 253 additions and 239 deletions
@@ -30,7 +30,7 @@ function themeTokens(theme: Theme) {
      boolean: theme.syntax.boolean.color,
    },
    player: theme.player,
-    shadowAlpha: theme.shadowAlpha,
+    shadow: theme.shadow,
  };
 }