jsmd editor improvements (!6) · Merge requests · nexedi / erp5-bin · GitLab

Merged Roque requested to merge notebook_roque into master Oct 13, 2020

notebook execution continues after cell errors
spinner during notebook execution
better styles for notebook execution result

Edited Nov 19, 2020 by Roque