[ jEdit-users ] Split expansion up/down arrows

[Steven D. A. <st...@ar...>]

Hi, I am using jEdit 5.0 pre1.  In this version, when you create a split, between the two splits, on the left, there is an up arrow and a down arrow right next to each other.  If you click, say, the up arrow, the bottom split expands to consume the entire vertical space in the text area of the window; likewise for the down arrow.  This actually works for more than just two splits; you can have N splits on a given window and use this feature to expand the area of a split.  When done, you click the other arrow (down if you had previously clicked up, for example) to restore the previous state.

To be honest, I am not sure if this is a native feature of jEdit, or due to one of the plugins I have installed.  Nonetheless, I love this feature.  Regardless of whether it is native or due to a plugin, my question is this: Is there a command for this to which I can apply a shortcut?  Like an "Expand Split Up" and "Expand Split Down" command or something like that that allows me to get the benefit of clicking those arrows without having to use the mouse?

Thanks in advance!
steven