Good question. I think it’s possible, but not in a general way, since nav’s dimension is 2xN (k + v by N items in a coll), and table is MxN (any number of columns per N items in a col).
In some cases it should be possible though, I’ll add it to my todo list for exploring
1🙏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.
1✅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.
https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/beginners/near/205862717
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