6 Years Ago
[D11] split off first splash screen into a minimal "bootstrap UI". This gets something on screen sooner, and manages lifetimes better so that the frontend is now smaller and reloads quicker too. Tidy up some unnecessary state, and remove some old cruft from FrontendUI which hasn't worked for a while.