2025-08-24 19:54:14 +08:00
4 changed files with 1 additions and 15 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -81,7 +81,6 @@ jobs:
      - run: cargo clippy --workspace --all-targets --no-default-features
      - run: cargo fmt --check --all
      - run: cargo doc --workspace --no-deps
-      - run: git diff --exit-code

  min-version:
    name: Check minimum Rust version
--- a/crates/typst-html/src/encode.rs
+++ b/crates/typst-html/src/encode.rs
@ -113,7 +113,7 @@ fn write_element(w: &mut Writer, element: &HtmlElement) -> SourceResult<()> {
 /// Encodes the children of an element.
 fn write_children(w: &mut Writer, element: &HtmlElement) -> SourceResult<()> {
    // See HTML spec § 13.1.2.5.
-    if matches!(element.tag, tag::pre | tag::textarea) && starts_with_newline(element) {
+    if element.tag == tag::pre && starts_with_newline(element) {
        w.buf.push('\n');
    }

--- a/tests/ref/html/html-textarea-starting-with-newline.html
+++ b/tests/ref/html/html-textarea-starting-with-newline.html
@ -1,10 +0,0 @@
-<!DOCTYPE html>
-<html>
-  <head>
-    <meta charset="utf-8">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-  </head>
-  <body><textarea>
-
-enter</textarea></body>
-</html>
--- a/tests/suite/html/syntax.typ
+++ b/tests/suite/html/syntax.typ
@ -11,9 +11,6 @@
 #html.pre("\nhello")
 #html.pre("\n\nhello")

--- html-textarea-starting-with-newline html ---
-#html.textarea("\nenter")
-
 --- html-script html ---
 // This should be pretty and indented.
 #html.script(