Deploying to pages from @ 16f475a 🚀

uncomputable · Oct 4, 2024 · 5521abd · 5521abd
1 parent 70228e5
commit 5521abd
Show file tree

Hide file tree

Showing 4 changed files with 39 additions and 38 deletions.
diff --git a/index.html b/index.html
@@ -15,7 +15,7 @@
     <link rel="icon" href="/favicon-45ca9b991953adf3.png" integrity="sha384&#x2D;0sl&#x2F;QMsXqbq4Wuar3PLp5TWNPVEktxcKOa7aMVDi9TMGs88HQnTks5s2rttzBv1x"/>
     <title>Simfony IDE</title>
 
-    <link rel="stylesheet" href="/style-8a0cb19d59017d81.css" integrity="sha384&#x2D;2iJppUXkJPEN6hpH9&#x2B;zKqvaXXiFgNIPosEOOrHGByarIifNj7MO3yAQzTujgvfBm"/>
+    <link rel="stylesheet" href="/style-6f2bbca3af940777.css" integrity="sha384&#x2D;oKLKbAjXUGxL7cjFajJSTLN&#x2F;4hZwKOEBPi&#x2B;ZL3bUXFF&#x2F;WoabIpk6dCjiLneN&#x2F;kEY"/>
 
 
 
@@ -28,12 +28,12 @@
 
     <noscript>This page requires JavaScript</noscript>
 
-<link rel="modulepreload" href="/simplicity-webide-9f598b3bcd02a68f.js" crossorigin=anonymous integrity="sha384-Zdo2iLkCgYdHCXOZVkNYlBuzB6l13z/a3HMmqrCtOhBKZumcIfbO3zFg1TH8uGhF">
-<link rel="preload" href="/simplicity-webide-9f598b3bcd02a68f_bg.wasm" crossorigin=anonymous integrity="sha384-nOyPEwfOeMD1idGkq3FDdaQPNpm8TuQHP+1zuN9xJBP1JYMN7vo02WqV2yE9c3V9" as="fetch" type="application/wasm"></head>
+<link rel="modulepreload" href="/simplicity-webide-2b9429a5caeb17ea.js" crossorigin=anonymous integrity="sha384-XJnILITpEt8W4Ns7wirWb66EMmLF1gdsf7WFjv0YVWczhjEqqnEg+qi7FOo/ZPqY">
+<link rel="preload" href="/simplicity-webide-2b9429a5caeb17ea_bg.wasm" crossorigin=anonymous integrity="sha384-PENKLIKwWu1PIHkvycWq284F5VDwe9qb4AoGaksdrLNz1/dZTeP7cVgXkP1bRirO" as="fetch" type="application/wasm"></head>
   <body>
 <script type="module">
-import init, * as bindings from '/simplicity-webide-9f598b3bcd02a68f.js';
-const wasm = await init('/simplicity-webide-9f598b3bcd02a68f_bg.wasm');
+import init, * as bindings from '/simplicity-webide-2b9429a5caeb17ea.js';
+const wasm = await init('/simplicity-webide-2b9429a5caeb17ea_bg.wasm');
 
 
 window.wasmBindings = bindings;

diff --git a/simplicity-webide-9f598b3bcd02a68f.js → simplicity-webide-2b9429a5caeb17ea.js b/simplicity-webide-9f598b3bcd02a68f.js → simplicity-webide-2b9429a5caeb17ea.js
@@ -250,7 +250,7 @@ function handleError(f, args) {
         wasm.__wbindgen_exn_store(addHeapObject(e));
     }
 }
-function __wbg_adapter_288(arg0, arg1, arg2, arg3) {
+function __wbg_adapter_286(arg0, arg1, arg2, arg3) {
     wasm.wasm_bindgen__convert__closures__invoke2_mut__h41d33e82d8b1c483(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
@@ -927,9 +927,6 @@ imports.wbg.__wbg_setdata_27c6828c5a5a5ce4 = function(arg0, arg1, arg2) {
 imports.wbg.__wbg_error_09480e4aadca50ad = function(arg0) {
     console.error(getObject(arg0));
 };
-imports.wbg.__wbg_log_b103404cc5920657 = function(arg0) {
-    console.log(getObject(arg0));
-};
 imports.wbg.__wbg_warn_2b3adb99ce26c314 = function(arg0) {
     console.warn(getObject(arg0));
 };
@@ -1042,7 +1039,7 @@ imports.wbg.__wbg_new_b85e72ed1bfd57f9 = function(arg0, arg1) {
             const a = state0.a;
             state0.a = 0;
             try {
-                return __wbg_adapter_288(a, state0.b, arg0, arg1);
+                return __wbg_adapter_286(a, state0.b, arg0, arg1);
             } finally {
                 state0.a = a;
             }
@@ -1121,36 +1118,36 @@ imports.wbg.__wbindgen_memory = function() {
     const ret = wasm.memory;
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper428 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper420 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 69, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper430 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper422 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 69, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper432 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper424 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 69, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper869 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 279, __wbg_adapter_43);
+imports.wbg.__wbindgen_closure_wrapper852 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 274, __wbg_adapter_43);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4605 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 1918, __wbg_adapter_46);
+imports.wbg.__wbindgen_closure_wrapper4588 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 1913, __wbg_adapter_46);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4863 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2042, __wbg_adapter_49);
+imports.wbg.__wbindgen_closure_wrapper4838 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2032, __wbg_adapter_49);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper5014 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2080, __wbg_adapter_52);
+imports.wbg.__wbindgen_closure_wrapper4988 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2070, __wbg_adapter_52);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper6390 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2086, __wbg_adapter_55);
+imports.wbg.__wbindgen_closure_wrapper6363 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2076, __wbg_adapter_55);
     return addHeapObject(ret);
 };
 

diff --git a/simplicity-webide-9f598b3bcd02a68f_bg.wasm → simplicity-webide-2b9429a5caeb17ea_bg.wasm b/simplicity-webide-9f598b3bcd02a68f_bg.wasm → simplicity-webide-2b9429a5caeb17ea_bg.wasm
diff --git a/style-8a0cb19d59017d81.css → style-6f2bbca3af940777.css b/style-8a0cb19d59017d81.css → style-6f2bbca3af940777.css
@@ -131,30 +131,28 @@
   }
 }
 @keyframes run-button-success {
-  0% {
-    background-color: MediumSeaGreen;
+  0%, 100% {
+    background-color: initial;
   }
-  100% {
-    background-color: inherit;
+  50% {
+    background-color: MediumSeaGreen;
   }
 }
 @keyframes run-button-failure {
-  0% {
-    background-color: red;
+  0%, 100% {
+    background-color: initial;
   }
-  100% {
-    background-color: inherit;
+  50% {
+    background-color: red;
   }
 }
 .run-button.success {
   animation-name: run-button-success;
   animation-duration: 0.5s;
-  animation-fill-mode: forwards;
 }
 .run-button.failure {
   animation-name: run-button-failure;
   animation-duration: 0.5s;
-  animation-fill-mode: forwards;
 }
 
 /* Tooltip container */
@@ -652,6 +650,9 @@
   background: #424953;
   margin: 2px 0 2px 2px;
 }
+.navbar .button:active {
+  background: #2E3135;
+}
 .navbar .run-button {
   background: #5134E0;
   margin-right: 2px;
@@ -678,6 +679,9 @@
 .navbar .dropdown .dropdown-content button:hover {
   background: #3c424c;
 }
+.navbar .dropdown .dropdown-content button:active {
+  background: #2E3135;
+}
 .navbar .dropdown:hover .dropdown-content {
   display: block;
 }
@@ -694,7 +698,7 @@
   padding: 10px;
   background: #1d2127;
   margin-bottom: 20px;
-  min-height: 350px;
+  min-height: 520px;
 }
 
 .string-box, .error-box, .neutral-box, .success-box {
@@ -740,7 +744,7 @@
 }
 .transaction-tab .transaction-display-row .display-row-label {
   display: inline-block;
-  width: 120px;
+  width: 140px;
   text-align: right;
   margin-right: 10px;
 }