Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: Changing the terminal font via API #162

Open
akkuman opened this issue May 14, 2020 · 2 comments
Open

Feature: Changing the terminal font via API #162

akkuman opened this issue May 14, 2020 · 2 comments
Labels
enhancement good first issue help wanted question

Comments

@akkuman
Copy link

@akkuman akkuman commented May 14, 2020

I wonder if it have a interface to change the terminal's font

@ndabAP
Copy link

@ndabAP ndabAP commented May 14, 2020

That's a good point. Because there is no dedicated way. Users would need to search inside the library.

But I never provided an easy API for changing the font of a library. Do you know sensible approaches for that?

@ndabAP ndabAP added enhancement good first issue help wanted question labels May 14, 2020
@ndabAP ndabAP changed the title the terminal font Feature: Changing the terminal font via API May 14, 2020
@akkuman
Copy link
Author

@akkuman akkuman commented May 15, 2020

I don't know much about the frontend.
But I think it might be possible to do this with embedded stylesheets, like :style.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement good first issue help wanted question
Projects
None yet
Development

No branches or pull requests

2 participants