Commit [d41944] Maximize Restore History

Make the PV dockable movable, so its docking position can change without creating

a new instance to replace the existing one.
This change:
1. Requires using the trunk version of jEdit.
2. Fixes a bug that prevented the PV window from changing the docking position
due to not being removed from the view->instance map.

shlomy shlomy 2007-09-14

changed dockables.xml
dockables.xml Diff Switch to side-by-side view