src/vs/workbench/browser/parts/editor/editorGroupView.ts/EditorGroupView/isPinned
class EditorGroupView:	isPinned(editorOrIndex: EditorInput | number): boolean {
		return this.model.isPinned(editorOrIndex);
	}