| Fri, 02 Feb 2018 11:12:03 +0100 | Edouard Tisserant | Launcher: ShowUI call moves from preStart to start. ShowUI() split into CreateUI() and ShowUI(). Start()'s arguments are passed to CreateUI() | changeset | files |
| Fri, 02 Feb 2018 11:07:39 +0100 | Edouard Tisserant | Launcher: allows customizations to specify what globals passed to extensions | changeset | files |