browser-stubs.js 422 B

12345678910111213141516171819
  1. function read(fn)
  2. {
  3. return readFromVFS(fn);
  4. }
  5. Sk.read = read;
  6. function print()
  7. {
  8. console.log.apply(console, arguments);
  9. var output = document.getElementById('output');
  10. for (var i = 0; i < arguments.length; ++i)
  11. {
  12. output.innerHTML += arguments[i].toString();
  13. if (i !== arguments.length - 1)
  14. output.innerHTML += " ";
  15. }
  16. output.innerHTML += "\n";
  17. }