@chase-lambert has joined the channel
This is going to be a real niche problem but I'm curious where reveal is actually calling up the graphical app. Is it a java jar command? Because on my funky chromebook running a linux container system I would love to throw java -jar -Dsun.java2d.uiScale=2.5 into that command because for various reasons, graphical java apps open up super, super tiny.
@chase-lambert I think you can just provide that as a JVM option when starting your REPL (via whatever command you use to start Reveal).
Reveal is not "calling up the graphical app" -- it just runs as part of whatever JVM process you start.
except this option seems to be for java2d, which does not look like something javafx-related
Right, I can't remember the correct UI scaling property for JavaFX apps, but I know there is one...
(goes to Zulip to search for it)
@chase-lambert export GDK_SCALE=2 before starting the JVM might help?
adding :jvm-opts ["-Dglass.gtk.uiScale=200%"] to the alias works for Reveal -- that was another suggestion I saw.
woah, didn't know about this one
Also super tiny scaling implies HiDPI screen, which is not supported in linux on java 8, so update to java 11 might help
the export GDK_SCALE=2.5 answer worked for me! Awesome
@affan.salman has joined the channel