📄 xmldoc.js
字号:
LOG.inform("XMLDOC.symbolize loaded");/** * Convert the source file to a set of symbols */XMLDOC.symbolize = function(srcFile, src) { LOG.inform("Symbolizing file '" + srcFile + "'"); // XML files already have a defined structure, so we don't need to // do anything but parse them. The DOM reader can create a symbol // table from the parsed XML. var dr = new XMLDOC.DomReader(XMLDOC.Parser.parse(src)); return dr.getSymbols(srcFile);};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -