From 522ece84fbf18d3f8e386f3047599cfd63f9d5e5 Mon Sep 17 00:00:00 2001 From: Ray Kraesig Date: Fri, 15 Nov 2019 14:05:45 -0800 Subject: [PATCH] webview: remove KaTeX js file Although the installation directions just say to include katex.[min.]js unconditionally, the KaTeX JavaScript isn't actually needed just to display existing KaTeX blocks -- only to render new ones. Which is good, because that's ~242K of (uncompressed) JS code that we can do without. --- src/webview/css/css.js | 1 - tools/build-webview.d/katex.all.pre | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/webview/css/css.js b/src/webview/css/css.js index 644d205a4b8..b80e345efb2 100644 --- a/src/webview/css/css.js +++ b/src/webview/css/css.js @@ -68,7 +68,6 @@ const katexFraclineHackStyle = `