Clojurians Log v2
Clojure programming
Channels
Apps
portal 2025-01-06
p-himik 2025-01-06T12:56:03.191269Z
Is there any way to alter the font size in the IntelliJ IDEA plugin panel?
djblue 2025-01-06T15:24:26.024249Z
The font size for intellij is set via this code: https://github.com/djblue/portal/blob/master/extension-intellij/src/main/clojure/portal/extensions/intellij/theme.clj#L88-L89
p-himik 2025-01-06T15:35:56.704699Z
Maybe something with scaling?
p-himik 2025-01-06T15:36:57.376619Z
Zoom in Appearance is set to 100%, but IDEA has some HiDPI detection. Could it be that Portal is applying the same scaling twice?
Daniel Slutsky 2025-01-06T15:49:15.973229Z
Who is planning to join the #visual-tools meetup tomorrow? @mb: #portal snitch #clj-reload / @onetom: #cursive / @jr0cket: #neovim #conjure #portal #parinfer https://clojureverse.org/t/visual-tools-meeting-28-workflow-demos-2/