diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2019-04-05 03:05:08 +0000 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2019-04-05 03:05:08 +0000 |
| commit | fe822a0a244245a5323b12d710f7072c0b634c07 (patch) | |
| tree | 60dba6c9f8a5ca41399594a4670a27bc836bf087 /gtk/tools | |
| parent | 69d4081ff8b1ca4d58e005f8f2176623d9ce3134 (diff) | |
| download | gtk+-fe822a0a244245a5323b12d710f7072c0b634c07.tar.gz | |
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.
Diffstat (limited to 'gtk/tools')
| -rw-r--r-- | gtk/tools/gtk-builder-tool-simplify.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c index 9489e4efb0..144f823e6a 100644 --- 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, }; |