4 Commits

Author	SHA1	Message	Date
Fábio Rosado	b062efcf17	Add error codes to our custom errors (#959)	2022-11-25 17:04:10 +00:00
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
Fábio Rosado	da2728e6df	Add flag to send HTML or plain Text to banner (#947)	2022-11-14 18:36:54 +00:00
Fábio Rosado	1345449d57	Create error or warning level banners and allow users to close it (#909)	2022-11-08 17:19:01 +00:00