Antonio Cuni 41ebaaf366 More plugins: splashscreen and importmap (#938) ...

This PR move codes from main.ts into two new plugins:

- splashscreen (formerly known as py-loader)
- importmap

The old setting config.autoclose_loader is still supported but deprecated; the new setting is config.splashscreen.autoclose.

Moreover, it does a small refactoring around UserError: now UserErrors are correctly caught even if they are raised from within afterRuntimeLoad.

2022-11-16 18:08:17 +01:00

1.7 KiB

Raw Blame History

View Raw