jupyter/terminado

Feature to change font size.

thesct22 opened this issue · 0 comments

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