Merge pull request #1460 from jf2048/ignore-boxed

parser: ignore `boxed` elements
gtk-rs · Apr 24, 2023 · 7193727 · 7193727
2 parents c8aeb47 + 434db18
commit 7193727
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/parser.rs b/src/parser.rs
@@ -140,7 +140,7 @@ impl Library {
                 "function" => self.read_global_function(parser, ns_id, elem),
                 "constant" => self.read_constant(parser, ns_id, elem),
                 "alias" => self.read_alias(parser, ns_id, elem),
-                "function-macro" | "docsection" => parser.ignore_element(),
+                "boxed" | "function-macro" | "docsection" => parser.ignore_element(),
                 _ => {
                     warn!("<{} name={:?}>", elem.name(), elem.attr("name"));
                     parser.ignore_element()