diff --git a/_server/CodeMirror/defs.js b/_server/CodeMirror/defs.js
index 8e0ee9f..c9460d9 100644
--- a/_server/CodeMirror/defs.js
+++ b/_server/CodeMirror/defs.js
@@ -1,4130 +1,4315 @@
var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
- {
- "!name": "browser",
- "Node": {
- "!type": "fn()",
- "prototype": {
- "nextSibling": {
- "!type": "+Element",
- "!doc": "返回紧接其父节点的childNodes列表中指定节点之后的节点;如果指定节点是该列表中的最后一个节点,则返回null.",
+ {
+ '!name': 'browser',
+ Node: {
+ '!type': 'fn()',
+ prototype: {
+ nextSibling: {
+ '!type': '+Element',
+ '!doc': '返回紧接其父节点的childNodes列表中指定节点之后的节点;如果指定节点是该列表中的最后一个节点,则返回null.'
+ },
+ previousSibling: {
+ '!type': '+Element',
+ '!doc': '返回紧接其父节点的childNodes列表中指定节点之前的节点,如果指定节点是该列表中的第一个节点,则返回null.'
+ },
+ lastChild: {
+ '!type': '+Element',
+ '!doc': '返回节点的最后一个孩子.'
+ },
+ firstChild: {
+ '!type': '+Element',
+ '!doc': '返回树中该节点的第一个子节点;如果该节点为无子节点,则返回null.如果该节点是Document,则返回其直接子节点列表中的第一个节点.'
+ },
+ childNodes: {
+ '!type': '+NodeList',
+ '!doc': '返回给定元素的子节点的集合.'
+ },
+ parentNode: {
+ '!type': '+Element',
+ '!doc': '返回DOM树中指定节点的父级.'
+ },
+ tagName: {
+ '!type': 'string',
+ '!doc': '将当前节点的名称作为字符串返回.'
+ },
+ insertBefore: {
+ '!type':
+ 'fn(newElt: +Element, before: +Element) -> +Element',
+ '!doc': '将指定的节点插入到参考元素之前,作为当前节点的子级.'
+ },
+ removeChild: {
+ '!type': 'fn(oldNode: +Element) -> +Element',
+ '!doc': '从DOM中删除一个子节点.返回已删除的节点.'
+ },
+ appendChild: {
+ '!type': 'fn(newNode: +Element) -> +Element',
+ '!doc': '将一个节点添加到指定父节点的子节点列表的末尾.如果该节点已经存在,则将其从当前父节点中删除,然后添加到新的父节点中.'
+ },
+ cloneNode: {
+ '!type': 'fn(deep: bool) -> +Element',
+ '!doc': '返回在其上调用此方法的节点的副本.'
+ },
+ addEventListener: {
+ '!type':
+ 'fn(type: string, listener: fn(e: +Event), capture: bool)',
+ '!doc': '在单个目标上注册单个事件侦听器.事件目标可以是文档中的单个元素,文档本身,窗口或XMLHttpRequest.'
+ },
+ removeEventListener: {
+ '!type': 'fn(type: string, listener: fn(), capture: bool)',
+ '!doc': '允许从事件目标中删除事件侦听器.'
+ },
+ innerText: {
+ '!type': 'string',
+ '!doc': '获取或设置节点及其后代的文本内容.'
+ }
+ },
+ '!doc': '节点是一个接口,许多DOM类型都从该接口继承,并允许类似地对待(或测试)这些各种类型.'
},
- "previousSibling": {
- "!type": "+Element",
- "!doc": "返回紧接其父节点的childNodes列表中指定节点之前的节点,如果指定节点是该列表中的第一个节点,则返回null.",
+ Element: {
+ '!type': 'fn()',
+ prototype: {
+ '!proto': 'Node.prototype',
+ getAttribute: {
+ '!type': 'fn(name: string) -> string',
+ '!doc': '返回指定元素上的命名属性的值.如果命名属性不存在,则返回的值将为null或" "(空字符串).'
+ },
+ setAttribute: {
+ '!type': 'fn(name: string, value: string)',
+ '!doc': '在指定元素上添加新属性或更改现有属性的值.'
+ },
+ removeAttribute: {
+ '!type': 'fn(name: string)',
+ '!doc': '从指定元素中删除属性.'
+ },
+ getElementsByTagName: {
+ '!type': 'fn(tagName: string) -> +NodeList',
+ '!doc': '返回具有给定标签名的元素列表.搜索指定元素下面的子树,不包括元素本身.返回的列表是活动的,这意味着它将自动使用DOM树进行更新.因此,无需使用相同的元素和参数多次调用element.getElementsByTagName.'
+ },
+ getElementsByClassName: {
+ '!type': 'fn(name: string) -> +NodeList',
+ '!doc': '返回具有所有给定类名称的一组元素.在文档对象上调用时,将搜索整个文档,包括根节点.您还可以在任何元素上调用getElementsByClassName;它将仅返回元素,它们是具有给定类名的指定根元素的后代.'
+ },
+ children: {
+ '!type': '+HTMLCollection',
+ '!doc': '返回给定元素的子元素的集合.'
+ },
+ className: {
+ '!type': 'string',
+ '!doc': '获取并设置指定元素的class属性的值.'
+ },
+ style: {
+ cssText: 'string',
+ alignmentBaseline: 'string',
+ background: 'string',
+ backgroundAttachment: 'string',
+ backgroundClip: 'string',
+ backgroundColor: 'string',
+ backgroundImage: 'string',
+ backgroundOrigin: 'string',
+ backgroundPosition: 'string',
+ backgroundPositionX: 'string',
+ backgroundPositionY: 'string',
+ backgroundRepeat: 'string',
+ backgroundRepeatX: 'string',
+ backgroundRepeatY: 'string',
+ backgroundSize: 'string',
+ baselineShift: 'string',
+ border: 'string',
+ borderBottom: 'string',
+ borderBottomColor: 'string',
+ borderBottomLeftRadius: 'string',
+ borderBottomRightRadius: 'string',
+ borderBottomStyle: 'string',
+ borderBottomWidth: 'string',
+ borderCollapse: 'string',
+ borderColor: 'string',
+ borderImage: 'string',
+ borderImageOutset: 'string',
+ borderImageRepeat: 'string',
+ borderImageSlice: 'string',
+ borderImageSource: 'string',
+ borderImageWidth: 'string',
+ borderLeft: 'string',
+ borderLeftColor: 'string',
+ borderLeftStyle: 'string',
+ borderLeftWidth: 'string',
+ borderRadius: 'string',
+ borderRight: 'string',
+ borderRightColor: 'string',
+ borderRightStyle: 'string',
+ borderRightWidth: 'string',
+ borderSpacing: 'string',
+ borderStyle: 'string',
+ borderTop: 'string',
+ borderTopColor: 'string',
+ borderTopLeftRadius: 'string',
+ borderTopRightRadius: 'string',
+ borderTopStyle: 'string',
+ borderTopWidth: 'string',
+ borderWidth: 'string',
+ bottom: 'string',
+ boxShadow: 'string',
+ boxSizing: 'string',
+ captionSide: 'string',
+ clear: 'string',
+ clip: 'string',
+ clipPath: 'string',
+ clipRule: 'string',
+ color: 'string',
+ colorInterpolation: 'string',
+ colorInterpolationFilters: 'string',
+ colorProfile: 'string',
+ colorRendering: 'string',
+ content: 'string',
+ counterIncrement: 'string',
+ counterReset: 'string',
+ cursor: 'string',
+ direction: 'string',
+ display: 'string',
+ dominantBaseline: 'string',
+ emptyCells: 'string',
+ enableBackground: 'string',
+ fill: 'string',
+ fillOpacity: 'string',
+ fillRule: 'string',
+ filter: 'string',
+ float: 'string',
+ floodColor: 'string',
+ floodOpacity: 'string',
+ font: 'string',
+ fontFamily: 'string',
+ fontSize: 'string',
+ fontStretch: 'string',
+ fontStyle: 'string',
+ fontVariant: 'string',
+ fontWeight: 'string',
+ glyphOrientationHorizontal: 'string',
+ glyphOrientationVertical: 'string',
+ height: 'string',
+ imageRendering: 'string',
+ kerning: 'string',
+ left: 'string',
+ letterSpacing: 'string',
+ lightingColor: 'string',
+ lineHeight: 'string',
+ listStyle: 'string',
+ listStyleImage: 'string',
+ listStylePosition: 'string',
+ listStyleType: 'string',
+ margin: 'string',
+ marginBottom: 'string',
+ marginLeft: 'string',
+ marginRight: 'string',
+ marginTop: 'string',
+ marker: 'string',
+ markerEnd: 'string',
+ markerMid: 'string',
+ markerStart: 'string',
+ mask: 'string',
+ maxHeight: 'string',
+ maxWidth: 'string',
+ minHeight: 'string',
+ minWidth: 'string',
+ opacity: 'string',
+ orphans: 'string',
+ outline: 'string',
+ outlineColor: 'string',
+ outlineOffset: 'string',
+ outlineStyle: 'string',
+ outlineWidth: 'string',
+ overflow: 'string',
+ overflowWrap: 'string',
+ overflowX: 'string',
+ overflowY: 'string',
+ padding: 'string',
+ paddingBottom: 'string',
+ paddingLeft: 'string',
+ paddingRight: 'string',
+ paddingTop: 'string',
+ page: 'string',
+ pageBreakAfter: 'string',
+ pageBreakBefore: 'string',
+ pageBreakInside: 'string',
+ pointerEvents: 'string',
+ position: 'string',
+ quotes: 'string',
+ resize: 'string',
+ right: 'string',
+ shapeRendering: 'string',
+ size: 'string',
+ speak: 'string',
+ src: 'string',
+ stopColor: 'string',
+ stopOpacity: 'string',
+ stroke: 'string',
+ strokeDasharray: 'string',
+ strokeDashoffset: 'string',
+ strokeLinecap: 'string',
+ strokeLinejoin: 'string',
+ strokeMiterlimit: 'string',
+ strokeOpacity: 'string',
+ strokeWidth: 'string',
+ tabSize: 'string',
+ tableLayout: 'string',
+ textAlign: 'string',
+ textAnchor: 'string',
+ textDecoration: 'string',
+ textIndent: 'string',
+ textLineThrough: 'string',
+ textLineThroughColor: 'string',
+ textLineThroughMode: 'string',
+ textLineThroughStyle: 'string',
+ textLineThroughWidth: 'string',
+ textOverflow: 'string',
+ textOverline: 'string',
+ textOverlineColor: 'string',
+ textOverlineMode: 'string',
+ textOverlineStyle: 'string',
+ textOverlineWidth: 'string',
+ textRendering: 'string',
+ textShadow: 'string',
+ textTransform: 'string',
+ textUnderline: 'string',
+ textUnderlineColor: 'string',
+ textUnderlineMode: 'string',
+ textUnderlineStyle: 'string',
+ textUnderlineWidth: 'string',
+ top: 'string',
+ unicodeBidi: 'string',
+ unicodeRange: 'string',
+ vectorEffect: 'string',
+ verticalAlign: 'string',
+ visibility: 'string',
+ whiteSpace: 'string',
+ width: 'string',
+ wordBreak: 'string',
+ wordSpacing: 'string',
+ wordWrap: 'string',
+ writingMode: 'string',
+ zIndex: 'string',
+ zoom: 'string',
+ '!doc': '返回一个表示元素的style属性的对象.'
+ },
+ classList: {
+ '!type': '+DOMTokenList',
+ '!doc': '返回元素的class属性的标记列表.'
+ },
+ title: {
+ '!type': 'string',
+ '!doc': ' "\u5efa\u7acb\u5f53\u9f20\u6807\u60ac\u505c\u5728\u663e\u793a\u7684\u8282\u70b9\u4e0a\u65f6\u5728"\u5de5\u5177\u63d0\u793a"\u5f39\u51fa\u7a97\u53e3\u4e2d\u663e\u793a\u7684\u6587\u672c.",'
+ },
+ width: {
+ '!type': 'number',
+ '!doc': '返回元素的布局宽度.'
+ },
+ height: {
+ '!type': 'number',
+ '!doc': '元素相对于元素的offsetParent的高度.'
+ },
+ getContext: {
+ '!type': 'fn(id: string) -> CanvasRenderingContext2D',
+ '!doc': ' DOM画布元素公开了HTMLCanvasElement接口,该接口提供了用于操纵画布元素的布局和表示的属性和方法.HTMLCanvasElement接口继承了元素对象接口的属性和方法.'
+ },
+ innerHTML: {
+ '!type': 'string',
+ '!doc': '设置或获取描述元素后代的HTML语法.'
+ }
+ },
+ '!doc': '表示HTML或XML文档中的元素.'
},
- "lastChild": {
- "!type": "+Element",
- "!doc": "返回节点的最后一个孩子."
+ Document: {
+ '!type': 'fn()',
+ prototype: {
+ '!proto': 'Node.prototype',
+ height: {
+ '!type': 'number',
+ '!doc': '返回当前文档的
元素的高度.'
+ },
+ width: {
+ '!type': 'number',
+ '!doc': '以像素为单位返回当前文档的元素的宽度.'
+ },
+ body: {
+ '!type': '+Element',
+ '!doc': '返回当前文档的或