diff --git a/ui/app.tsx b/ui/app.tsx index 523322e0..b395a8cb 100644 --- a/ui/app.tsx +++ b/ui/app.tsx @@ -32,7 +32,7 @@ if (MODE === 'browser') { Object.values(LANGUAGES).map(function processLanguageInit(l) { if (l.inMemoryInit) { // These can be really big, so run it out of band - setTimeout(function () { + setTimeout(function() { l.inMemoryInit(); }); } @@ -84,11 +84,11 @@ export function defaultRoutes(): Routes { }, MODE === 'server' ? { - endpoint: 'projects', - view: MakeSelectProject, - title: 'Switch project', - icon: IconFiles, - } + endpoint: 'projects', + view: MakeSelectProject, + title: 'Switch project', + icon: IconFiles, + } : null, { endpoint: 'settings', @@ -105,37 +105,37 @@ export function defaultRoutes(): Routes { ].filter(Boolean); } -function Aug2022Survey({ - settings, - setSettings, -}: { - settings: SettingsT; - setSettings: (s: Partial) => void; -}) { - if (!settings.surveyAug2022) { - return null; - } - - return ( -
- - Help us out: take a quick - - user survey - - ! -
- ); -} - +/* function Aug2022Survey({ + * settings, + * setSettings, + * }: { + * settings: SettingsT; + * setSettings: (s: Partial) => void; + * }) { + * if (!settings.surveyAug2022) { + * return null; + * } + * + * return ( + *
+ * + * Help us out: take a quick + * + * user survey + * + * ! + *
+ * ); + * } + * */ export function App({ routes, }: { @@ -213,7 +213,6 @@ export function App({ -
{MODE_FEATURES.appHeader && !isMakeSelect &&
}