Terminal Font Size Setting

Open PropGit opened this issue 9 years ago • 2 comments

@michel-cf - Can we make a Terminal Font Size setting, or at least increase the current default font size?

Jul 08 '16 18:07 PropGit

This was answered separately - the font size is controlled by css, so we can change it.

Aug 26 '16 00:08 PropGit

This needs to be linked to #997

Oct 01 '17 18:10 MatzElectronics