src/vs/workbench/browser/parts/editor/noTabsTitleControl.ts/NoTabsTitleControl/ifActiveEditorPropertiesChanged
class NoTabsTitleControl:	private ifActiveEditorPropertiesChanged(fn: () => void): void {
		if (!this.activeLabel.editor || !this.group.activeEditor) {
			return; // need an active editor to check for properties changed
		}

		if (this.activeLabel.pinned !== this.group.isPinned(this.group.activeEditor)) {
			fn(); // only run if pinned state has changed
		}
	}