You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When customizing Calva Highlight's bracket colors, the JSON schema describes it as if only strings are allowed in the array. However, we actually allow any elements to be either a string or a two-tuple of strings, where the first string is used for light themes, and the second for dark themes.
The text was updated successfully, but these errors were encountered:
When customizing Calva Highlight's bracket colors, the JSON schema describes it as if only strings are allowed in the array. However, we actually allow any elements to be either a string or a two-tuple of strings, where the first string is used for light themes, and the second for dark themes.
The text was updated successfully, but these errors were encountered: