From 7158f4997a14e0e4dd9b4fe9621ff2fbbc829251 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Wed, 15 Aug 2018 15:04:44 -0700 Subject: [PATCH] Settings editor - add missing TOC title --- src/vs/workbench/parts/preferences/browser/tocTree.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/parts/preferences/browser/tocTree.ts b/src/vs/workbench/parts/preferences/browser/tocTree.ts index 04b2710ebb3..dda5a903e9f 100644 --- a/src/vs/workbench/parts/preferences/browser/tocTree.ts +++ b/src/vs/workbench/parts/preferences/browser/tocTree.ts @@ -133,6 +133,7 @@ export class TOCRenderer implements IRenderer { DOM.toggleClass(template.labelElement, 'no-results', count === 0); template.labelElement.textContent = label; + template.labelElement.title = label; if (count) { template.countElement.textContent = ` (${count})`; -- GitLab