+
+
+

+ + ${gettext("User Settings")} +

+

${gettext("Configure settings relevant to your user profile.")}

+
+
+ +
+
+
+ +
+
+
+
+
+
+ +
+ ${until(new StagesApi(DEFAULT_CONFIG).stagesAllUserSettings({}).then((stages) => { + return stages.map((stage) => { + // TODO: Check for non-shell stages + return html`
+
+
+ +
+
+
+
+
`; + }); + }))} + ${until(new SourcesApi(DEFAULT_CONFIG).sourcesAllUserSettings({}).then((sources) => { + return sources.map((source) => { + // TODO: Check for non-shell sources + return html`
+
+
+ +
+
+
+
+
`; + }); + }))} +
+