[ jEdit-users ] reordering docks?

[Chris P. <li...@fo...>]

Is it possible to reorder the docks?   I recently poked around and found a 
bunch of plugins that I wanted to play with, and I docked them all on the 
left side of the screen (big monitor, they all fit nicely)..  however, 
they're all seemingly in random order (not alphabetical, anyway).  I'd 
like to be able to organize it so that the most-used ones are at the top.

anyway, if this can't be done, consider it a feature request.   some "move 
up/down" buttons in the docking preferences might do the trick easily 
enough.

-Chris