You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
thebe uses Mode.ensure() from the @juptyerlab/codemirror package in order to load mode files on demand. That function has been removed in jlab 4.x resulting in the pin here.
However, we can avoid loading that package altogether by implementing the ensure behaviour here. Also this can be much simpler than the jlab implementation as we know that the incoming mode to be a string indicating language name (we might also consider supporting the extension, as that is a standard CodeMirror lookup) rather than the variety of arguments that jlab has to deal with.
The text was updated successfully, but these errors were encountered:
thebe
usesMode.ensure()
from the@juptyerlab/codemirror
package in order to load mode files on demand. That function has been removed in jlab 4.x resulting in the pin here.However, we can avoid loading that package altogether by implementing the
ensure
behaviour here. Also this can be much simpler than the jlab implementation as we know that the incoming mode to be a string indicating language name (we might also consider supporting the extension, as that is a standard CodeMirror lookup) rather than the variety of arguments that jlab has to deal with.The text was updated successfully, but these errors were encountered: