Skip to content

Different font size #1306

Answered by imsnif
fbaltor asked this question in Q&A
Apr 9, 2022 · 1 comments · 1 reply
Discussion options

You must be logged in to vote

I don't think this is possible in any tool that runs inside a terminal. The font size is controlled by the terminal itself and is always uniform.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@joseluis
Comment options

Answer selected by fbaltor
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants