fix clicking Pluto logo while featured notebook is launching locally

fonsp · Feb 21, 2024 · 0e2364c · 0e2364c
1 parent b41071e
commit 0e2364c
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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>