I’ve set up several IJulia 1.8.0 kernels, a plain one, another with 4 threads, another with 10, and so on.
I can start any of them without problems
but once it’s up and going, there seems to be no information on the page about which kernel it was. On the top right it just says “Kernel”:
Is there any way to know which one is running?