how to change the font size and family, that is too small
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?
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 Incommand.But so I guess we could add a
font-sizesetting, 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
thanks
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,
i dont konw why, it is not ok to change the size use
"git-log--graph.custom-css": "body { font-size: 20px; }",
it is not ok? what do you mean by that?
does it not work?
...you need to restart the extension after changes to the custom-css option. Most other options don't require you to do this, however