portal 2024-04-15 | Slack Archive

chromalchemy20:04:44

If I change the editor code size in vscode, the pprint text line hight in Portal does not scale. I see the font setting here. https://github.com/djblue/portal/blob/ba8cee1574e5d29d2daeb22f666b5db7ec0ee9f3/src/portal/colors.cljc#L90 Can i add more css? What is the best way to update theme from userland?

👀 1

Felipe21:04:37

I'm also interested in modifying the theme from userland. I cmd-F this Slack channel and found some discussion on a set-theme API, but don't think that has been implemented

Felipe21:04:57

https://clojurians.slack.com/archives/C0185BFLLSE/p1697819550003129?thread_ts=1697817436.467999&cid=C0185BFLLSE

djblue02:04:27

For the pprint issue, I think it's just bad css. I removed it here https://github.com/djblue/portal/commit/7a8d112c4334be4ccef53b272e65c8e7dcb57b33 👍

djblue02:04:58

@UA2U3KW0L What kind of theme API would you want?

Felipe14:04:27

anything that lets me set up my own colors. my emacs is pretty much black on white so it's a bit hard to adjust to the contrast on the light themes for portal

2024-04-15

Channels