I recently re-installed jEdit (4.3.1 using Java 1.6.0_18) on Ubuntu and I noticed that since I reinstalled it, it no longer has menus that allow you to dock plugin windows around the jEdit Editor window.
(see docked plugin on left in image bellow)
I thought it was a plugin, but after checking the documentation I discovered otherwise. Is there any way to get this functionality back?
In the image below I was expecting a menu that reads left/top/bottom/right docking area which allows you to doc the plugin window as above, but it is missing.
Is there any way to get this functionality back?