Adds tooltips to settings for education

src/webviews/apps/settings/settings.ts

@@ -51,6 +51,18 @@ export class SettingsApp extends AppWithConfig {
 
 			this._observer.observe(el);
 		}
+
+		for (const el of document.querySelectorAll<HTMLInputElement>('[data-setting]')) {
+			if (!el.title && el.type === 'checkbox') {
+				el.title = `Setting name: "gitlens.${el.name}"`;
+			}
+
+			for (const label of document.querySelectorAll<HTMLLabelElement>(`label[for="${el.id}"]`)) {
+				if (!label.title) {
+					label.title = `Setting name: "gitlens.${el.name}"`;
+				}
+			}
+		}
 	}
 
 	protected override onBind() {