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

how to change the font size and family, that is too small #84

Open
heartacker opened this issue Mar 19, 2024 · 7 comments
Open

how to change the font size and family, that is too small #84

heartacker opened this issue Mar 19, 2024 · 7 comments

Comments

@heartacker
Copy link

No description provided.

@phil294
Copy link
Owner

phil294 commented Mar 19, 2024

There is no setting for that, but you can use the "git-log--graph.custom-css" option and inject your custom styling rules. Use VSCode's developer tools to find the right spots, it's like editing a normal website with Chrom(ium).

That said, I'm surprised you think it's too small. IIRC I set the font size to exactly what the surrounding IDE also has, so it should be just as big as everything else, and zoom in accordingly with the global Zoom In command.

But so I guess we could add a font-size setting, but then again is that it? Or are there another 20 style-related things that should be configurable?

@heartacker
Copy link
Author

There is no setting for that, but you can use the "git-log--graph.custom-css" option and inject your custom styling rules. Use VSCode's developer tools to find the right spots, it's like editing a normal website with Chrom(ium).

That said, I'm surprised you think it's too small. IIRC I set the font size to exactly what the surrounding IDE also has, so it should be just as big as everything else, and zoom in accordingly with the global Zoom In command.

But so I guess we could add a font-size setting, but then again is that it? Or are there another 20 style-related things that should be configurable?

I don/t konw css,could you please give me a demo ,please

@heartacker
Copy link
Author

thanks

@phil294
Copy link
Owner

phil294 commented Mar 22, 2024

oh yes, sure, in your users settings.json,

    "git-log--graph.custom-css": "body { font-size: 20px; }",

that's it.

You also might wanna increase the row height then though,

"git-log--graph.row-height": 30,

@heartacker
Copy link
Author

i dont konw why, it is not ok to change the size
use

 "git-log--graph.custom-css": "body { font-size: 20px; }",

@phil294
Copy link
Owner

phil294 commented Mar 22, 2024

it is not ok? what do you mean by that?

does it not work?

@phil294
Copy link
Owner

phil294 commented Mar 22, 2024

...you need to restart the extension after changes to the custom-css option. Most other options don't require you to do this, however

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants