Js terminals
Finish reworking the terminals.
- Split further the css files
- Restore
ace.editor.navigationWithinSoftTabs - FIX - global auto unsubscription call missing
- FIX - the function to save the IDE content to the localeStorage wasn't called (due to a previous change in the interface, going to a factory function)
- CHANGE - Simplify the operation to clear a terminal content + move that in the pyTermEnvironment function
- CHANGE - rename pyTermEnvironment to setupOrGetTerminalAndPyEnv
- ADD - automatic activation of all the terminals of the IDEs at page load
- CHANGE - Allow automatic focus in terminals, after the tests got run in an IDE
- ADD - hourglass icon, to show to the user when something is still running in the background
- ADD - jsLogger calls here and there
- RM - Now useless start_term function
- FIX - avoid the autoSubscribe callback to fail when the document$ variable isn't defined yet
Modification effectuée par Frederic Zinelli