change redraw

crates/erars-stdio/src/stdio_frontend.rs

@@ -45,6 +45,7 @@ impl StdioFrontend {
         let ret = vconsole.make_serializable(self.from);
 
         serde_json::to_writer(&mut out, &ret)?;
+        writeln!(out)?;
 
         self.from += ret.lines.len();
         vconsole.need_rebuild = false;
@@ -103,7 +104,6 @@ impl SystemFunctions for StdioFrontend {
         if self.json {
             let out = io::stdout();
             let mut out = out.lock();
-            writeln!(out)?;
             serde_json::to_writer(&mut out, &req)?;
             writeln!(out)?;
         }
@@ -139,6 +139,10 @@ impl SystemFunctions for StdioFrontend {
     }
 
     async fn redraw(&mut self, vconsole: &mut VirtualConsole) -> anyhow::Result<()> {
+        if !vconsole.need_rebuild && self.from == vconsole.line_count() && vconsole.line_is_empty() {
+            // skip redraw
+            return Ok(());
+        }
         self.draw(vconsole, &mut io::stdout().lock())
     }
     async fn load_local_list(&mut self) -> anyhow::Result<SaveList> {

crates/erars-vm/src/terminal_vm.rs

@@ -57,8 +57,6 @@ impl TerminalVm {
         let insts = body.body();
         let func_name = func_identifier.get_key(&ctx.var);
 
-        ctx.system.redraw(tx).await?;
-
         while let Some(inst) = insts.get(cursor).copied() {
             use InstructionWorkflow::*;
 

flake.nix

@@ -55,15 +55,24 @@
                     );
                 in rec
                 {
-                    devShell = pkgs.mkShell {
+                    devShell = pkgs.mkShell rec {
                         name = "erars-shell";
                         nativeBuildInputs = with pkgs; [
                             pkg-config
+                            cmake
                             rustfmt
                             rustc
                             cargo
                             just
                         ];
+                        buildInputs = with pkgs; [
+                            fontconfig
+                            xorg.libX11
+                            xorg.libXcursor
+                            xorg.libXrandr
+                            xorg.libXi
+                        ];
+                        LD_LIBRARY_PATH = "${pkgs.lib.makeLibraryPath buildInputs}:/run/opengl-driver/lib";
                         RUST_BACKTRACE=1;
                     };