3 Commits

Author	SHA1	Message	Date
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
Madhur Tandon	be9b9f66d3	remove one more unneeded import (#946)	2022-11-14 19:09:03 +05:30
Antonio Cuni	0d3c3eef4e	Introduce a Plugin system, implement <py-terminal> as a plugin (#917) ... This PR does two things: 1. introduce the first minimal version of a Plugin system. Plugins are subclasses of the Plugin class, and pyscript will call the relevant methods/hooks at the right time. Currently, I have added only the minimal sets of hooks which were needed for this PR. 2. Implement <py-terminal> as a plugin.	2022-11-09 16:17:21 +01:00