}
var contents = new Gee.ArrayList<MarkedString>();
property_node.get_array ().foreach_element ((array, index, element) => {
- if (element.get_object() == null) {
+ if (element.get_node_type() != Json.NodeType.OBJECT) {
var str = element.get_string();
if (str != null) {
contents.add ( new MarkedString( "", str ));