Closed shunf4 closed 3 years ago
If editor font size is set to a bigger value, the font size of code blocks is not adjusted, making them look relatively small in Markdown editor.
This PR synchronizes the font sizes of regular text and code text, and make the editor do highlighting every time after a theme change.
If editor font size is set to a bigger value, the font size of code blocks is not adjusted, making them look relatively small in Markdown editor.
This PR synchronizes the font sizes of regular text and code text, and make the editor do highlighting every time after a theme change.