mirror of
https://github.com/geode-sdk/geode.git
synced 2025-04-04 01:01:00 -04:00
mark platforms as known in settings
This commit is contained in:
parent
5c418c7052
commit
8164bb20df
1 changed files with 4 additions and 0 deletions
|
@ -165,6 +165,10 @@ Result<Setting> Setting::parse(
|
|||
default: return Err("Unknown setting type \"" + type + "\"");
|
||||
}
|
||||
}
|
||||
|
||||
// this is handled before the setting is parsed
|
||||
obj.addKnownKey("platforms");
|
||||
|
||||
obj.checkUnknownKeys();
|
||||
}
|
||||
// if the type wasn't an object or a string, the JsonChecker that gave the
|
||||
|
|
Loading…
Add table
Reference in a new issue