search

froggey / Mezzano

An operating system written in Common Lisp
MIT License
3.56k stars 188 forks source link

changing font size #191

Closed TheFausap closed 3 years ago

TheFausap commented 3 years ago

Hello

is there any way to change the font size for the REPL, at least? On my virtuabox is very small even if I use a full screen option.

thanks Fausto

fittestbits commented 3 years ago

With VirtualBox, I set the scale factor to 175% to get readable size fonts on my 4K display. Here are my settings. When mezzano is running: View -> Virtual Screen 1 -> Resize 1920x1080 and View -> Virtual Screen 1 -> Scale 175%.

Also be aware that you'll probably get help faster on the #mezzano channel at irc.libera. I think more people are watching there then are getting these emails. If you do move to irc, feel free to use "fittestbits: ..." to get my attention.

TheFausap commented 3 years ago

Thanks ! I'll join you on IRC.

On Thu, Sep 2, 2021 at 4:07 PM fittestbits @.***> wrote:

With VirtualBox, I set the scale factor to 175% to get readable size fonts on my 4K display. Here are my settings. When mezzano is running: View -> Virtual Screen 1 -> Resize 1920x1080 and View -> Virtual Screen 1 -> Scale 175%.

Also be aware that you'll probably get help faster on the #mezzano channel at irc.libera. I think more people are watching there then are getting these emails. If you do move to irc, feel free to use "fittestbits: ..." to get my attention.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/froggey/Mezzano/issues/191#issuecomment-911724409, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAOCZKZP3DAVGZ2T4BWJFBTT76AKLANCNFSM5DIOW2JA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.