src/vs/workbench/browser/parts/editor/editorGroupView.ts/EditorGroupView/notifyIndexChanged
class EditorGroupView:	notifyIndexChanged(newIndex: number): void {
		if (this._index !== newIndex) {
			this._index = newIndex;
			this.model.setIndex(newIndex);
		}
	}