diff --git a/_server/CodeMirror/defs.js b/_server/CodeMirror/defs.js
index 1c16b25..ee517af 100644
--- a/_server/CodeMirror/defs.js
+++ b/_server/CodeMirror/defs.js
@@ -1,4130 +1,4526 @@
var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
{
"!name": "browser",
- "Node": {
+ Node: {
"!type": "fn()",
- "prototype": {
- "nextSibling": {
+ prototype: {
+ nextSibling: {
"!type": "+Element",
- "!doc": "返回紧接其父节点的childNodes列表中指定节点之后的节点;如果指定节点是该列表中的最后一个节点,则返回null.",
+ "!doc":
+ "返回紧接其父节点的childNodes列表中指定节点之后的节点;如果指定节点是该列表中的最后一个节点,则返回null.",
},
- "previousSibling": {
+ previousSibling: {
"!type": "+Element",
- "!doc": "返回紧接其父节点的childNodes列表中指定节点之前的节点,如果指定节点是该列表中的第一个节点,则返回null.",
+ "!doc":
+ "返回紧接其父节点的childNodes列表中指定节点之前的节点,如果指定节点是该列表中的第一个节点,则返回null.",
},
- "lastChild": {
+ lastChild: {
"!type": "+Element",
- "!doc": "返回节点的最后一个孩子."
+ "!doc": "返回节点的最后一个孩子.",
},
- "firstChild": {
+ firstChild: {
"!type": "+Element",
- "!doc": "返回树中该节点的第一个子节点;如果该节点为无子节点,则返回null.如果该节点是Document,则返回其直接子节点列表中的第一个节点.",
+ "!doc":
+ "返回树中该节点的第一个子节点;如果该节点为无子节点,则返回null.如果该节点是Document,则返回其直接子节点列表中的第一个节点.",
},
- "childNodes": {
+ childNodes: {
"!type": "+NodeList",
- "!doc": "返回给定元素的子节点的集合."
+ "!doc": "返回给定元素的子节点的集合.",
},
- "parentNode": {
+ parentNode: {
"!type": "+Element",
- "!doc": "返回DOM树中指定节点的父级."
+ "!doc": "返回DOM树中指定节点的父级.",
},
- "tagName": {
+ tagName: {
"!type": "string",
- "!doc": "将当前节点的名称作为字符串返回."
+ "!doc": "将当前节点的名称作为字符串返回.",
},
- "insertBefore": {
+ insertBefore: {
"!type": "fn(newElt: +Element, before: +Element) -> +Element",
"!doc": "将指定的节点插入到参考元素之前,作为当前节点的子级.",
},
- "removeChild": {
+ removeChild: {
"!type": "fn(oldNode: +Element) -> +Element",
"!doc": "从DOM中删除一个子节点.返回已删除的节点.",
},
- "appendChild": {
+ appendChild: {
"!type": "fn(newNode: +Element) -> +Element",
- "!doc": "将一个节点添加到指定父节点的子节点列表的末尾.如果该节点已经存在,则将其从当前父节点中删除,然后添加到新的父节点中.",
+ "!doc":
+ "将一个节点添加到指定父节点的子节点列表的末尾.如果该节点已经存在,则将其从当前父节点中删除,然后添加到新的父节点中.",
},
- "cloneNode": {
+ cloneNode: {
"!type": "fn(deep: bool) -> +Element",
- "!doc": "返回在其上调用此方法的节点的副本."
+ "!doc": "返回在其上调用此方法的节点的副本.",
},
- "addEventListener": {
+ addEventListener: {
"!type": "fn(type: string, listener: fn(e: +Event), capture: bool)",
- "!doc": "在单个目标上注册单个事件侦听器.事件目标可以是文档中的单个元素,文档本身,窗口或XMLHttpRequest.",
+ "!doc":
+ "在单个目标上注册单个事件侦听器.事件目标可以是文档中的单个元素,文档本身,窗口或XMLHttpRequest.",
},
- "removeEventListener": {
+ removeEventListener: {
"!type": "fn(type: string, listener: fn(), capture: bool)",
"!doc": "允许从事件目标中删除事件侦听器.",
},
- "innerText": {
+ innerText: {
"!type": "string",
- "!doc": "获取或设置节点及其后代的文本内容."
- }
- },
- "!doc": "节点是一个接口,许多DOM类型都从该接口继承,并允许类似地对待(或测试)这些各种类型.",
- },
- "Element": {
- "!type": "fn()",
- "prototype": {
- "!proto": "Node.prototype",
- "getAttribute": {
- "!type": "fn(name: string) -> string",
- "!doc": "返回指定元素上的命名属性的值.如果命名属性不存在,则返回的值将为null或\" \"(空字符串).",
+ "!doc": "获取或设置节点及其后代的文本内容.",
},
- "setAttribute": {
+ },
+ "!doc":
+ "节点是一个接口,许多DOM类型都从该接口继承,并允许类似地对待(或测试)这些各种类型.",
+ },
+ Element: {
+ "!type": "fn()",
+ prototype: {
+ "!proto": "Node.prototype",
+ getAttribute: {
+ "!type": "fn(name: string) -> string",
+ "!doc":
+ '返回指定元素上的命名属性的值.如果命名属性不存在,则返回的值将为null或" "(空字符串).',
+ },
+ setAttribute: {
"!type": "fn(name: string, value: string)",
"!doc": "在指定元素上添加新属性或更改现有属性的值.",
},
- "removeAttribute": {
+ removeAttribute: {
"!type": "fn(name: string)",
"!doc": "从指定元素中删除属性.",
},
- "getElementsByTagName": {
+ getElementsByTagName: {
"!type": "fn(tagName: string) -> +NodeList",
- "!doc": "返回具有给定标签名的元素列表.搜索指定元素下面的子树,不包括元素本身.返回的列表是活动的,这意味着它将自动使用DOM树进行更新.因此,无需使用相同的元素和参数多次调用element.getElementsByTagName."
+ "!doc":
+ "返回具有给定标签名的元素列表.搜索指定元素下面的子树,不包括元素本身.返回的列表是活动的,这意味着它将自动使用DOM树进行更新.因此,无需使用相同的元素和参数多次调用element.getElementsByTagName.",
},
- "getElementsByClassName": {
+ getElementsByClassName: {
"!type": "fn(name: string) -> +NodeList",
- "!doc": "返回具有所有给定类名称的一组元素.在文档对象上调用时,将搜索整个文档,包括根节点.您还可以在任何元素上调用getElementsByClassName;它将仅返回元素,它们是具有给定类名的指定根元素的后代."
+ "!doc":
+ "返回具有所有给定类名称的一组元素.在文档对象上调用时,将搜索整个文档,包括根节点.您还可以在任何元素上调用getElementsByClassName;它将仅返回元素,它们是具有给定类名的指定根元素的后代.",
},
- "children": {
+ children: {
"!type": "+HTMLCollection",
- "!doc": "返回给定元素的子元素的集合."
+ "!doc": "返回给定元素的子元素的集合.",
},
- "className": {
+ 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属性的对象."
+ 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": {
+ classList: {
"!type": "+DOMTokenList",
- "!doc": "返回元素的class属性的标记列表."
+ "!doc": "返回元素的class属性的标记列表.",
},
- "title": {
+ 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.\","
+ "!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": {
+ width: {
"!type": "number",
- "!doc": "返回元素的布局宽度."
+ "!doc": "返回元素的布局宽度.",
},
- "height": {
+ height: {
"!type": "number",
- "!doc": "元素相对于元素的offsetParent的高度."
+ "!doc": "元素相对于元素的offsetParent的高度.",
},
- "getContext": {
+ getContext: {
"!type": "fn(id: string) -> CanvasRenderingContext2D",
- "!doc": " DOM画布元素公开了HTMLCanvasElement接口,该接口提供了用于操纵画布元素的布局和表示的属性和方法.HTMLCanvasElement接口继承了元素对象接口的属性和方法.",
+ "!doc":
+ " DOM画布元素公开了HTMLCanvasElement接口,该接口提供了用于操纵画布元素的布局和表示的属性和方法.HTMLCanvasElement接口继承了元素对象接口的属性和方法.",
},
- "innerHTML": {
+ innerHTML: {
"!type": "string",
"!doc": "设置或获取描述元素后代的HTML语法.",
- }
+ },
},
"!doc": "表示HTML或XML文档中的元素.",
},
- "Document": {
+ Document: {
"!type": "fn()",
- "prototype": {
+ prototype: {
"!proto": "Node.prototype",
- "height": {
+ height: {
"!type": "number",
"!doc": "返回当前文档的
元素的高度.",
},
- "width": {
+ width: {
"!type": "number",
"!doc": "以像素为单位返回当前文档的元素的宽度.",
},
- "body": {
+ body: {
"!type": "+Element",
"!doc": "返回当前文档的或