I really want to increase sourcegraph code block font size.
It so small so I can’t use sourcegraph at all. I’ve found the service recently and so exited about this, but small font size makes it useless for me.
Can I change font size without any shady web extensions?
Edit: I just realized you might have been referring to Code Search, not Cody. If that is the case, can you provide a screenshot of what code block you are referring too?
Unfortunately, not at this time. I will make sure the product team sees this in the weekly community feedback report.
You are absolutely right about the topic - it’s all about Code Search, sorry if I’ve selected the wrong tag or subforum.
So sad to hear that
It’s a really useful feature we need. Magnification for a full page doesn’t solve the problem… well, I think I just should download the full repo and search through on. Or use 3-rd party browser extensions maybe…
Anyway, thanks for the answer, I’ll follow updates and hope one day the feature will come to Code Search!
Nope that was my bad. I created a Code Search category after this question so THANK YOU!
I hear you, I will make sure the product team sees this. You shouldn’t need an extension for an accessibility feature. In the meantime hang in there while we figure out if we can make this happen.
So, right now I use github.dev (that’s an web-based vscode fork, I suppose) and there is the possibility to increase font as an editor-based setting as in the default vscode. Cody’s vscode extension doesn’t work in web vscode, so I switched to sourcegraph and it’s working pretty well except for the font size problem…
It is an unforgivable oversight to miss something as ubiquitous as the ability to change font size in a shipped production product. It’s so important that one of the steps in setting up an iPhone is choosing your font size.
I am an user as well, so my suggestion is strictly as a potential workaround.
Depending on whatever browser you use you can have either natively or through extensions the ability to insert css to customize the page you’re viewing.
Each code line has the following class (cm-line) so adding such a css customization:
.cm-line {
font-size: 18px;
}
Would increase the coding section to whatever size you want.