public void SetRightSpaceWidth(int w) { this.dockspaceController.SetRightSpaceWidth(w); this.ninespaceGrippers.UpdateGripperPositions(); }