internal void ReorderTab(int oldPlacement, int newPlacement) { workbench.ReorderTab(oldPlacement, newPlacement); }