📄 runtime.js
字号:
{
code = code.replace((strings_tmpPrefix + i
+ strings_tmpSuffix), constStrs[i]);
}
return code;
}
});
JSVM.setConsole(
new function ()
{
var printer = null;
this.output = function(msg)
{
if (printer == null)
{
printer = jsre.JSVM.loadClass("js.io.WebPrinter").newInstance();
printer.prompt = "JSVM Console output [Version "
+ jsre.currentVersion
+ "]<br>(C) All Copyright 2004-2005 JSVM Team. <br><br>";
}
printer.print(msg);
}
this.input = function ()
{
return window.prompt("JSVM Console; Input: ");
}
}
);
JSVM.logger.log("JSVM redefine console succ.");
jsre.loadModule("runtime.module", function ()
{
var jsre = _JSVM_Namespace.runtimeEnvironment;
window.Class = _JSVM_Namespace.kernel.Class;
window._import = function(name)
{
try
{
var clazz = jsre.JSVM.loadClass(name);
var shortName = name.replace(/(.*)\./, "");
if ("undefined" == typeof(window[shortName]))
{
window[shortName] = clazz;
}
}
catch(ex)
{
ex.printStackTrace();
throw ex;
}
}
});
});
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -