Bug 10627 - Dragging tab should update tab navigation order

Fixed bug 10627.
Before, movement with Previous and Next (Window Commands) would give faulty results after dragging tabs around.
Those commands seem to use Workbench Documents for indexes, which didn't get changed during drags.