src/vs/workbench/browser/parts/editor/noTabsTitleControl.ts/NoTabsTitleControl/updateOptions
class NoTabsTitleControl:	updateOptions(oldOptions: IEditorPartOptions, newOptions: IEditorPartOptions): void {
		if (oldOptions.labelFormat !== newOptions.labelFormat || !equals(oldOptions.decorations, newOptions.decorations)) {
			this.redraw();
		}
	}