Removed unnecessary login box hide.

mdenet · Oct 31, 2023 · bce5c58 · bce5c58
1 parent 2342847
commit bce5c58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -59,7 +59,7 @@ document.getElementById("btnnologin").onclick= () => {
 if (!urlParamPrivateRepo()){
     // Public repo so no need to authenticate
     initialiseActivity();
-    PlaygroundUtility.hideLogin();
+
 } else {
     PlaygroundUtility.showLogin();
 }