Change Font and size #2891
GitHubDroid
started this conversation in
General
Change Font and size
#2891
Replies: 1 comment 1 reply
-
|
Font size is a user controlled setting of the terminal itself. Each
terminal has its own default font and size. Typically there's a 'zoom' or
'size' setting in the terminal applications menus.
But there is no way for an app writing to the console to use different
fonts. This is simply a limitation of the protocols that govern terminals.
…On Sun, 8 Oct 2023, 03:36 GitHubDroid, ***@***.***> wrote:
Can font and size be modified?
—
Reply to this email directly, view it on GitHub
<#2891>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AHO3C5HUAPDQTWG2N534473X6IGRBAVCNFSM6AAAAAA5XLGLT6VHI2DSMVQWIX3LMV43ERDJONRXK43TNFXW4OZVG4YTCOBYGM>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Understood. Thank you for the great insight 👍. We'll explained. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Can font and size be modified?
Beta Was this translation helpful? Give feedback.
All reactions