From 0e2364c68f100200538829b66fa412ebbcddf116 Mon Sep 17 00:00:00 2001
From: Fons van der Plas <fonsvdplas@gmail.com>
Date: Wed, 21 Feb 2024 09:14:20 +0100
Subject: [PATCH] fix clicking Pluto logo while featured notebook is launching
 locally

---
 frontend/components/Editor.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/frontend/components/Editor.js b/frontend/components/Editor.js
index b243d1a34f..a74fa99243 100644
--- a/frontend/components/Editor.js
+++ b/frontend/components/Editor.js
@@ -1538,9 +1538,7 @@ patch: ${JSON.stringify(
                         }
                         <nav id="at_the_top">
                             <a href=${
-                                this.state.static_preview || this.state.binder_session_url != null
-                                    ? `${this.state.binder_session_url}?token=${this.state.binder_session_token}`
-                                    : "./"
+                                this.state.binder_session_url != null ? `${this.state.binder_session_url}?token=${this.state.binder_session_token}` : "./"
                             }>
                                 <h1><img id="logo-big" src=${url_logo_big} alt="Pluto.jl" /><img id="logo-small" src=${url_logo_small} /></h1>
                             </a>