diff options
| author | v-rob <robinsonvincent89@gmail.com> | 2020-07-03 09:33:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-03 18:33:23 +0200 |
| commit | da71313e1df3326c2b9ddb410b963ec25682319e (patch) | |
| tree | 23bdbf75cd52822519749827480f0df60db8eacb /src/gui | |
| parent | 3f702fa1a9ace33111256ed7b7d5579099830015 (diff) | |
| download | minetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.gz minetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.bz2 minetest-da71313e1df3326c2b9ddb410b963ec25682319e.zip | |
Don't stop style parsing on unknown property (#10143)
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/guiFormSpecMenu.cpp | 4 |
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; } |