aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorv-rob <robinsonvincent89@gmail.com>2020-07-03 09:33:23 -0700
committerGitHub <noreply@github.com>2020-07-03 18:33:23 +0200
commitda71313e1df3326c2b9ddb410b963ec25682319e (patch)
tree23bdbf75cd52822519749827480f0df60db8eacb
parent3f702fa1a9ace33111256ed7b7d5579099830015 (diff)
downloadminetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.gz
minetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.bz2
minetest-da71313e1df3326c2b9ddb410b963ec25682319e.zip
Don't stop style parsing on unknown property (#10143)
-rw-r--r--src/gui/guiFormSpecMenu.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/guiFormSpecMenu.cpp b/src/gui/guiFormSpecMenu.cpp
index 0bb401251..37edf3c4b 100644
--- a/src/gui/guiFormSpecMenu.cpp
+++ b/src/gui/guiFormSpecMenu.cpp
@@ -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;
}