diff options
| author | frozolotl <44589151+frozolotl@users.noreply.github.com> | 2023-10-19 10:11:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-19 10:11:22 +0200 |
| commit | 01b14ff316caadb2b3e672f6c2b4f866b8d8b3fe (patch) | |
| tree | 3d3254b06b5b004b1f634c2d3009f7a4219042b6 /crates | |
| parent | 56510d9df0651d58d5016f6a3481953a6a174885 (diff) | |
Clear screen instead of resetting the terminal (#2431)
Resetting the terminal can change color themes and other settings.
This commit changes the behavior to just clear the screen.
Diffstat (limited to 'crates')
| -rw-r--r-- | crates/typst-cli/src/watch.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/typst-cli/src/watch.rs b/crates/typst-cli/src/watch.rs index 412c2062..8ef1c571 100644 --- a/crates/typst-cli/src/watch.rs +++ b/crates/typst-cli/src/watch.rs @@ -157,7 +157,7 @@ impl Status { if std::io::stderr().is_terminal() { // Clear the terminal. let esc = 27 as char; - write!(w, "{esc}c{esc}[1;1H")?; + write!(w, "{esc}[2J{esc}[1;1H")?; } w.set_color(&color)?; |
