Also fix encoding of <textarea> (#6497 )

Check that git tree is clean after build (#6495 )
2025-08-24 03:34:14 +08:00 · 2025-06-24 15:52:15 +00:00 · 2025-06-24 15:05:02 +00:00
4 changed files with 15 additions and 1 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -81,6 +81,7 @@ 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 element.tag == tag::pre && starts_with_newline(element) {
+    if matches!(element.tag, tag::pre | tag::textarea) && 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
@ -0,0 +1,10 @@
+<!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,6 +11,9 @@
 #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(
Author	SHA1	Message	Date
Laurenz	f2f527c451	Also fix encoding of `<textarea>` (#6497 )	2025-06-24 15:52:15 +00:00
Laurenz	9e3c1199ed	Check that git tree is clean after build (#6495 )	2025-06-24 15:05:02 +00:00