finish record io

2026-01-13 13:04:30 -08:00 · 2023-02-13 17:39:34 +08:00
parent 56ea47a9ab
commit 6c82e78a0f
19 changed files with 249 additions and 24826 deletions
--- a/index.html
+++ b/index.html
@@ -163,7 +163,7 @@
        overflow: auto;
      }

-      .logs {
+      .logs, .io_cache {
        padding-left: 1em;
      }

@@ -330,7 +330,11 @@
        color: red;
      }

-      .open_run_window { 
+      .statusbar_action { 
+        margin-right: 2em;
+      }
+
+      .statusbar_action.first { 
        margin-left: auto;
      }