Fork me on GitHub
#portal
<
2023-08-23
>
chromalchemy20:08:37

Is there any way to set the default font size in Portal, to get a denser view of data? It’s currently actually larger than the default font size I have set for code editors. In VS Code in general I have failed to zoom a tab independently. There is some way to do a scroll-zoom per window, but it it broke some other formatting.

djblue21:08:21

Interesting, it should be using the same font size as the editor https://github.com/djblue/portal/blob/master/src/portal/colors.cljc#L90 :thinking_face:

djblue21:08:09

In my settings.json, I have {"editor.fontSize": 11} , is that how you set your font size?