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
Uh oh!
There was an error while loading. Please reload this page.
-
Can font and size be modified?
Beta Was this translation helpful? Give feedback.
All reactions