src/vs/workbench/contrib/extensions/browser/extensionEditor.ts/NavBar/constructor
class NavBar:	constructor(container: HTMLElement) {
		super();
		const element = append(container, $('.navbar'));
		this.actions = [];
		this.actionbar = this._register(new ActionBar(element, { animated: false }));
	}