Expose JS terminal object on window

This is handy for interactive debugging and fiddling, but it shouldn't
be documented.
Thomas Kluyver 11 years ago
parent 520d677892
commit bede356585

@ -60,4 +60,7 @@ require([
$(window).height(), $(window).width()]));
};
// Expose terminal for fiddling with in the browser
window.terminal = terminal;
});

Loading…
Cancel
Save