Can I customize the text size?
chaos-zhu opened this issue · 2 comments
chaos-zhu commented
mdrejhon commented
You can use Ctrl-Plus and Ctrl-Minus to zoom in/out of text.
It's synchronized with code size.
But a divergence setting (font size multiplier/divisor) would be nice.
chaos-zhu commented
You can use Ctrl-Plus and Ctrl-Minus to zoom in/out of text. It's synchronized with code size. But a divergence setting (font size multiplier/divisor) would be nice.
thx