Antonio Scandurra fbf7cdf4f2 Make all HighlightStyle properties optional ... Previously, some of those properties such the font weight, style and color would be mandatory: when the theme didn't specify them, Zed would use a default value during deserialization. This meant that those default properties would unconditionally override the base text style, causing a rendering bug when combining syntax highlights with diagnostic styles. This commit fixes that by making `HighlightStyle`s more additive: each property can be set independently and only the properties that theme specifies get overridden in the base text style.		2022-03-15 10:39:43 +01:00
..
text.rs	Make all HighlightStyle properties optional	2022-03-15 10:39:43 +01:00