Make the PV dockable movable, so its docking position can change without creating
a new instance to replace the existing one.
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.