src/vs/workbench/contrib/extensions/browser/extensionEditor.ts/NavBar/update
class NavBar:	private update(id: string, focus?: boolean): void {
		this._currentId = id;
		this._onChange.fire({ id, focus: !!focus });
		this.actions.forEach(a => a.checked = a.id === id);
	}