operator == method
Two themes are equal when they wrap the same JSON object, so caches keyed on a theme survive rebuilding the wrapper.
Implementation
@override
bool operator ==(Object other) =>
other is SyntaxTheme && other.name == name && identical(other.json, json);