tuzig / terminal7

A Next Generation Terminal running over WebRTC
https://terminal7.dev
GNU General Public License v3.0
161 stars 21 forks source link

Add font to setting #472

Closed daonb closed 1 month ago

daonb commented 4 months ago

What's missing? Please describe your flow and where this feature will help. The user want to use another font that's already installed on its system.

Additional context the best place for the chosen font is under the [theme] section. The current font should become the default font, when no font is set or the font is not found.