From 8c72c630f9e15f29d40647a6268b24ca7c0d100f Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Mon, 30 Oct 2023 18:19:17 +0100 Subject: [PATCH] Update FeaturedCard.js MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit thanks panagiotis!! Co-Authored-By: Παναγιώτης Γεωργακόπουλος --- frontend/components/welcome/FeaturedCard.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/components/welcome/FeaturedCard.js b/frontend/components/welcome/FeaturedCard.js index 5cb2eb5b80..3204a00fcc 100644 --- a/frontend/components/welcome/FeaturedCard.js +++ b/frontend/components/welcome/FeaturedCard.js @@ -46,7 +46,7 @@ export const FeaturedCard = ({ entry, source_manifest, direct_html_links, disabl disable_ui: `true`, name: title == null ? null : `sample ${title}`, pluto_server_url: `.`, - // little monkey patch because we don't want to use the slider server when for the CDN source, only for the featured.plutojl.org source. But both sources have the same pluto_export.json so this is easiest. + // Little monkey patch because we don't want to use the slider server when for the CDN source, only for the featured.plutojl.org source. But both sources have the same pluto_export.json so this is easiest. slider_server_url: source_url?.includes("cdn.jsdelivr.net/gh/JuliaPluto/featured") ? null : u(source_manifest?.slider_server_url), })