Feature to change font size.

jupyter / terminado

Terminals served by tornado websockets

http://terminado.readthedocs.org/en/latest/

BSD 2-Clause "Simplified" License

368 stars 95 forks source link

Feature to change font size. #187

Open thesct22 opened 1 year ago

thesct22 commented 1 year ago

The font size feels like a bit too small at times. Ability to pass font size parameter through make_terminal function in template html file to terminado.js file