builder-tool: Don't empty out <mark> elements

We were inadvertedly losing the content of <mark> elements. Fix this, by marking (!) them as pcdata elements.
2024-11-12 11:50:21 +00:00 · 2019-04-05 03:05:08 +00:00 · 2019-04-05 03:05:08 +00:00 · fe822a0a24
commit fe822a0a24
parent 69d4081ff8
1 changed files with 1 additions and 0 deletions
--- a/gtk/tools/gtk-builder-tool-simplify.c
+++ b/gtk/tools/gtk-builder-tool-simplify.c
@ -241,6 +241,7 @@ is_pcdata_element (Element *element)
    "mime-type",
    "col",
    "item",
+    "mark",
    NULL,
  };