Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix ToolType serialization bug. (#3467)
The following serialization invariant was found to not hold for ToolType: fromString(toString(x)) == x The reason was a mismatch in serialization: toolTypeToString(TOOL_PLAY_OBJECT) == "PlayObject" toolTypeFromString("playObject") == TOOL_PLAY_OBJECT) This probably had the effect of incorrectly serializing. We correct this by changing the return value of toolTypeToString to match the camelCase style seen in its other return values.
- Loading branch information