Explorar el Código

Merge pull request #2047 from Temechon/master

Fix bug on GUI
Temechon hace 9 años
padre
commit
ce667b9105
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      Playground/js/index.js

+ 1 - 1
Playground/js/index.js

@@ -227,7 +227,7 @@
             document.getElementById("saveFormTags").readOnly = true;
             document.getElementById("saveFormTags").readOnly = true;
             document.getElementById("saveFormButtonOk").style.display = "none";
             document.getElementById("saveFormButtonOk").style.display = "none";
             document.getElementById("saveMessage").style.display = "none";
             document.getElementById("saveMessage").style.display = "none";
-            document.getElementById("metadataButton").style.display = "block";
+            document.getElementById("metadataButton").style.display = "inline-block";
         };
         };
 
 
         compileAndRun = function () {
         compileAndRun = function () {