[j-users] how to switch pane?

[Ludovico M. <lu...@as...>]

Maybe it's so obvious I'm missing it, but how do I switch from the top
pane to the bottom one, and vice-versa once I've split the window? Is
there a command and/pr a default key mapping for this?

Windows applications use Ctrl+Tab (which in most J modes has another
meaning) for this task.

On a side note, how difficult would it be to add LaTeX syntax highlighting
for J? I don't know Java well, but if it's a simple enough task I might
give it a shot.

Ludo