diff --git a/_server/CodeMirror/defs.js b/_server/CodeMirror/defs.js
index 5a3854b5..c3111062 100644
--- a/_server/CodeMirror/defs.js
+++ b/_server/CodeMirror/defs.js
@@ -6,62 +6,62 @@ var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
"prototype": {
"nextSibling": {
"!type": "+Element",
- "!doc": "Returns the node immediately following the specified one in its parent's childNodes list, or null if the specified node is the last node in that list."
+ "!doc": "返回紧接其父节点的childNodes列表中指定节点之后的节点;如果指定节点是该列表中的最后一个节点,则返回null.",
},
"previousSibling": {
"!type": "+Element",
- "!doc": "Returns the node immediately preceding the specified one in its parent's childNodes list, null if the specified node is the first in that list."
+ "!doc": "返回紧接其父节点的childNodes列表中指定节点之前的节点,如果指定节点是该列表中的第一个节点,则返回null.",
},
"lastChild": {
"!type": "+Element",
- "!doc": "Returns the last child of a node."
+ "!doc": "返回节点的最后一个孩子."
},
"firstChild": {
"!type": "+Element",
- "!doc": "Returns the node's first child in the tree, or null if the node is childless. If the node is a Document, it returns the first node in the list of its direct children."
+ "!doc": "返回树中该节点的第一个子节点;如果该节点为无子节点,则返回null.如果该节点是Document,则返回其直接子节点列表中的第一个节点.",
},
"childNodes": {
"!type": "+NodeList",
- "!doc": "Returns a collection of child nodes of the given element."
+ "!doc": "返回给定元素的子节点的集合."
},
"parentNode": {
"!type": "+Element",
- "!doc": "Returns the parent of the specified node in the DOM tree."
+ "!doc": "返回DOM树中指定节点的父级."
},
"tagName": {
"!type": "string",
- "!doc": "Returns the name of the current node as a string."
+ "!doc": "将当前节点的名称作为字符串返回."
},
"insertBefore": {
"!type": "fn(newElt: +Element, before: +Element) -> +Element",
- "!doc": "Inserts the specified node before a reference element as a child of the current node."
+ "!doc": "将指定的节点插入到参考元素之前,作为当前节点的子级.",
},
"removeChild": {
"!type": "fn(oldNode: +Element) -> +Element",
- "!doc": "Removes a child node from the DOM. Returns removed node."
+ "!doc": "从DOM中删除一个子节点.返回已删除的节点.",
},
"appendChild": {
"!type": "fn(newNode: +Element) -> +Element",
- "!doc": "Adds a node to the end of the list of children of a specified parent node. If the node already exists it is removed from current parent node, then added to new parent node."
+ "!doc": "将一个节点添加到指定父节点的子节点列表的末尾.如果该节点已经存在,则将其从当前父节点中删除,然后添加到新的父节点中.",
},
"cloneNode": {
"!type": "fn(deep: bool) -> +Element",
- "!doc": "Returns a duplicate of the node on which this method was called."
+ "!doc": "返回在其上调用此方法的节点的副本."
},
"addEventListener": {
"!type": "fn(type: string, listener: fn(e: +Event), capture: bool)",
- "!doc": "Registers a single event listener on a single target. The event target may be a single element in a document, the document itself, a window, or an XMLHttpRequest."
+ "!doc": "在单个目标上注册单个事件侦听器.事件目标可以是文档中的单个元素,文档本身,窗口或XMLHttpRequest.",
},
"removeEventListener": {
"!type": "fn(type: string, listener: fn(), capture: bool)",
- "!doc": "Allows the removal of event listeners from the event target."
+ "!doc": "允许从事件目标中删除事件侦听器.",
},
"innerText": {
"!type": "string",
- "!doc": "Gets or sets the text content of a node and its descendants."
+ "!doc": "获取或设置节点及其后代的文本内容."
}
},
- "!doc": "A Node is an interface from which a number of DOM types inherit, and allows these various types to be treated (or tested) similarly."
+ "!doc": "节点是一个接口,许多DOM类型都从该接口继承,并允许类似地对待(或测试)这些各种类型.",
},
"Element": {
"!type": "fn()",
@@ -69,31 +69,31 @@ var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
"!proto": "Node.prototype",
"getAttribute": {
"!type": "fn(name: string) -> string",
- "!doc": "Returns the value of the named attribute on the specified element. If the named attribute does not exist, the value returned will either be null or \"\" (the empty string)."
+ "!doc": "返回指定元素上的命名属性的值.如果命名属性不存在,则返回的值将为null或\" \"(空字符串).",
},
"setAttribute": {
"!type": "fn(name: string, value: string)",
- "!doc": "Adds a new attribute or changes the value of an existing attribute on the specified element."
+ "!doc": "在指定元素上添加新属性或更改现有属性的值.",
},
"removeAttribute": {
"!type": "fn(name: string)",
- "!doc": "Removes an attribute from the specified element."
+ "!doc": "从指定元素中删除属性.",
},
"getElementsByTagName": {
"!type": "fn(tagName: string) -> +NodeList",
- "!doc": "Returns a list of elements with the given tag name. The subtree underneath the specified element is searched, excluding the element itself. The returned list is live, meaning that it updates itself with the DOM tree automatically. Consequently, there is no need to call several times element.getElementsByTagName with the same element and arguments."
+ "!doc": "返回具有给定标签名的元素列表.搜索指定元素下面的子树,不包括元素本身.返回的列表是活动的,这意味着它将自动使用DOM树进行更新.因此,无需使用相同的元素和参数多次调用element.getElementsByTagName."
},
"getElementsByClassName": {
"!type": "fn(name: string) -> +NodeList",
- "!doc": "Returns a set of elements which have all the given class names. When called on the document object, the complete document is searched, including the root node. You may also call getElementsByClassName on any element; it will return only elements which are descendants of the specified root element with the given class names."
+ "!doc": "返回具有所有给定类名称的一组元素.在文档对象上调用时,将搜索整个文档,包括根节点.您还可以在任何元素上调用getElementsByClassName;它将仅返回元素,它们是具有给定类名的指定根元素的后代."
},
"children": {
"!type": "+HTMLCollection",
- "!doc": "Returns a collection of child elements of the given element."
+ "!doc": "返回给定元素的子元素的集合."
},
"className": {
"!type": "string",
- "!doc": "Gets and sets the value of the class attribute of the specified element."
+ "!doc": "获取并设置指定元素的class属性的值.",
},
"style": {
"cssText": "string",
@@ -286,34 +286,34 @@ var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
"writingMode": "string",
"zIndex": "string",
"zoom": "string",
- "!doc": "Returns an object that represents the element's style attribute."
+ "!doc": "返回一个表示元素的style属性的对象."
},
"classList": {
"!type": "+DOMTokenList",
- "!doc": "Returns a token list of the class attribute of the element."
+ "!doc": "返回元素的class属性的标记列表."
},
"title": {
"!type": "string",
- "!doc": "Establishes the text to be displayed in a 'tool tip' popup when the mouse is over the displayed node."
+ "!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": "Returns the layout width of an element."
+ "!doc": "返回元素的布局宽度."
},
"height": {
"!type": "number",
- "!doc": "Height of an element relative to the element's offsetParent."
+ "!doc": "元素相对于元素的offsetParent的高度."
},
"getContext": {
"!type": "fn(id: string) -> CanvasRenderingContext2D",
- "!doc": "DOM canvas elements expose the HTMLCanvasElement interface, which provides properties and methods for manipulating the layout and presentation of canvas elements. The HTMLCanvasElement interface inherits the properties and methods of the element object interface."
+ "!doc": " DOM画布元素公开了HTMLCanvasElement接口,该接口提供了用于操纵画布元素的布局和表示的属性和方法.HTMLCanvasElement接口继承了元素对象接口的属性和方法.",
},
"innerHTML": {
"!type": "string",
- "!doc": "Sets or gets the HTML syntax describing the element's descendants."
+ "!doc": "设置或获取描述元素后代的HTML语法.",
}
},
- "!doc": "Represents an element in an HTML or XML document."
+ "!doc": "表示HTML或XML文档中的元素.",
},
"Document": {
"!type": "fn()",
@@ -321,227 +321,227 @@ var terndefs_f6783a0a_522d_417e_8407_94c67b692e50 = [
"!proto": "Node.prototype",
"height": {
"!type": "number",
- "!doc": "Returns the height of the
element of the current document."
+ "!doc": "返回当前文档的元素的高度.",
},
"width": {
"!type": "number",
- "!doc": "Returns the width of the element of the current document in pixels."
+ "!doc": "以像素为单位返回当前文档的元素的宽度.",
},
"body": {
"!type": "+Element",
- "!doc": "Returns the or