portal

chromalchemy 2024-04-15T20:04:44.175969Z

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
Felipe 2024-04-15T21:07:37.331999Z

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

djblue 2024-04-16T02:19:27.929409Z

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

djblue 2024-04-16T02:19:58.983459Z

@felipecortezfi What kind of theme API would you want?

Felipe 2024-04-17T14:55:27.978469Z

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