Open octonion opened 2 years ago
I'm running into an issue that with dark themes (like oceans16), Julia has some strange highlighting with the "=" sign.
I'm running into an issue that with dark themes (like oceans16), Julia has some strange highlighting with the "=" sign.