portal

chromalchemy 2023-08-23T20:33:37.840829Z

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.

djblue 2023-08-23T21:21:21.308169Z

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

djblue 2023-08-23T21:24:09.209919Z

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