Calva: [2.0] Font size if visibly bigger in the [new REPL window]

Created on 7 Apr 2019 · 8Comments · Source: BetterThanTomorrow/calva

See the image below. If you decrease font it also affects the code editor window, making it too small.

repl-window upstream

Source

dabrazhe

👍2

Most helpful comment

Turns out there isn't a nice way to do this: https://github.com/microsoft/vscode/issues/86722

But I've sort of hacked my way around it now. Next release!

PEZ on 11 Dec 2019

👍3 🚀2 😄1

All 8 comments

Yes, there is currently a bug in vscode that prevents us from using the same font size as the editors. But I saw that the bug is being fixed, so hopefully, we can get rid of this problem soon.

PEZ on 8 Apr 2019

Has this been resolved?

ncharchut on 24 Sep 2019

No. This is a tricky one.

PEZ on 24 Sep 2019

Any updates on this nasty bug?

ITSecMedia on 23 Nov 2019

Actually, I spoke to some VS Code dev guys the other day, and they said they have provided what is needed to fix this. I haven't had the time to look at it yet, though. But there's hope!

PEZ on 24 Nov 2019

👍3 🚀1 😄1

Turns out there isn't a nice way to do this: https://github.com/microsoft/vscode/issues/86722

But I've sort of hacked my way around it now. Next release!

PEZ on 11 Dec 2019

👍3 🚀2 😄1

On 2.0.68, I'm seeing some strange UI behaviour where my REPL is now in what looks like the default sans-serif font rather than my monospace editor font. Any idea how I can start debugging this?