Allow "any" kind of fonts for terminal

[fpiraneo]

Feature description

There are cool fonts (like linux libertine mono) that are nice and clean to be used on terminal sessions BUT doesn't appears on the font selection mask because... no idea! I think they are badly configured or whatever! However macOS terminal allows their usage, so why don't WebSSH?

And if I'm crazy enough to use proportional fonts for my terminal... why not? 😄

[isontheline]

Because the terminal needs "Mono" fonts kind to draw shapes in right place

[fpiraneo]

I understand your position and to have a clean display of things a mono font is a must. The problem seems that some mono fonts are not built properly or … really no idea but they are suitable to be used on terminals. So maybe a switch to allow also proportional fonts on WebSSH to show these fonts. I’m also agree that I’m quite maniacal of customization that doesn’t actually impacts on proper functionality but just in “comfort”. 🙏