Hide the login box by default and only show it when a private repo is…

… given.
mdenet · Oct 31, 2023 · 2342847 · 2342847
1 parent ea52f4b
commit 2342847
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/platform/public/index.html b/platform/public/index.html
@@ -16,7 +16,7 @@
 <body class="h-100" onresize="fit()" onload="fit();updateGutterVisibility();">
     <div id="preloader"><img src="images/preloader.gif" width="100px"></div>
 
-    <div id="login" style="display:inline">
+    <div id="login" style="display:none">
         <h2>Login</h2>
         <p> 
             <button id="btnlogin" class="loginbutton" type="button" onclick="">Sign in with github</button> <br>

diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -60,6 +60,8 @@ if (!urlParamPrivateRepo()){
     // Public repo so no need to authenticate
     initialiseActivity();
     PlaygroundUtility.hideLogin();
+} else {
+    PlaygroundUtility.showLogin();
 }
 
 document.getElementById("btnlogin").onclick= async () => {