1
0
mirror of https://github.com/minetest/minetest.git synced 2024-11-15 23:10:28 +01:00

Don't stop style parsing on unknown property (#10143)

This commit is contained in:
v-rob 2020-07-03 09:33:23 -07:00 committed by GitHub
parent 3f702fa1a9
commit da71313e1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2562,7 +2562,7 @@ bool GUIFormSpecMenu::parseStyle(parserData *data, const std::string &element, b
<< "'" << std::endl;
property_warned.insert(propname);
}
return false;
continue;
}
spec.set(prop, value);
@ -2603,7 +2603,7 @@ bool GUIFormSpecMenu::parseStyle(parserData *data, const std::string &element, b
}
}
if(!state_valid) {
if (!state_valid) {
// Skip this selector
continue;
}