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

Would love to see a separate font size setting for Privy #40

Open
wwoodsTM opened this issue Apr 23, 2024 · 0 comments
Open

Would love to see a separate font size setting for Privy #40

wwoodsTM opened this issue Apr 23, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@wwoodsTM
Copy link

wwoodsTM commented Apr 23, 2024

Is this request related to a problem? Please describe.

I find the default font size of Privy's chat output, which I believe in vscode at least, Privy simply borrows from the overall UI font size (and not the editor font size) to be too small to comfortably read. While this font size is perfectly fine for vscode's normal UI elements (as I don't need to read them extensively and like saving on screen real estate where I can), I would like to use a larger font size for things that I need to read through more thoroughly like the output that Privy provides.

Describe the solution you'd like

I would love for there to be a specific font size setting for Privy that is separate from vscode settings, or at least one that is tied to a font size in vscode that can be easily configured. As is stands I went through every font size preference that exists in vscode and none changed Privy's font size, which as I mentioned before, is I believe a function of it being tied to the overall UI font size of vscode which is not easily configurable. I realize that zooming in the entire UI is one way to address this, but I would love to be able to not have to do this every time I want to read Privy's output and then have to zoom out when I am done.

Additional context

Just wanted to say thank you for the great extension and for reading my request! Besides this issue, I have gotten a lot of good use out of it and appreciate all the hard work being done on it. And if somehow I missed something in my search for a solution, and there is an easily configurable option somewhere that I missed, my apologies.

@wwoodsTM wwoodsTM added the enhancement New feature or request label Apr 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant