From 1be7dc89e036dcfaa8735a6a695453ac9c074c2c Mon Sep 17 00:00:00 2001 From: Liang Ding Date: Wed, 11 Mar 2015 13:52:14 +0800 Subject: [PATCH] comments --- static/js/session.js | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/static/js/session.js b/static/js/session.js index 2c93840..2337519 100644 --- a/static/js/session.js +++ b/static/js/session.js @@ -18,7 +18,7 @@ var session = { init: function () { this._initWS(); - // 定时(30 秒)保存会话内容. + // save session content per 30 seconds setInterval(function () { var request = newWideRequest(), filse = [], @@ -35,9 +35,9 @@ var session = { fileTree = tree.getOpenPaths(); - request.currentFile = currentFile; // 当前编辑器 - request.fileTree = fileTree; // 文件树展开状态 - request.files = filse; // 编辑器打开状态 + request.currentFile = currentFile; // current editor file + request.fileTree = fileTree; // file tree expansion state + request.files = filse; // editor tabs $.ajax({ type: 'POST', @@ -66,7 +66,7 @@ var session = { // expand tree for (var j = 0, jj = fileTree.length; j < jj; j++) { if (nodes[i].path === fileTree[j]) { - // 当父节点都展开时,才展开该节点 + // expand this node only if its parents are open var parents = tree.getAllParents(tree.fileTree.getNodeByTId(nodes[i].tId)), isOpen = true; for (var l = 0, max = parents.length; l < max; l++) { @@ -77,7 +77,7 @@ var session = { if (isOpen) { tree.fileTree.expandNode(nodes[i], true, false, true); } else { - // 设置状态 + // flag it is open nodes[i].open = true; } break; @@ -101,7 +101,7 @@ var session = { } } - // 处理编辑器打开顺序 + // handle the open sequence of editors for (var m = 0, mm = files.length; m < mm; m++) { for (var n = 0, nn = nodesToOpen.length; n < nn; n++) { if (nodesToOpen[n].path === files[m]) { @@ -111,7 +111,7 @@ var session = { } } - // 设置当前编辑器 + // set the current editor editors.tabs.setCurrent(id); for (var c = 0, max = editors.data.length; c < max; c++) { if (id === editors.data[c].id) { @@ -130,13 +130,13 @@ var session = { var dateFormat = function (time, fmt) { var date = new Date(time); var dateObj = { - "M+": date.getMonth() + 1, //月份 - "d+": date.getDate(), //日 - "h+": date.getHours(), //小时 - "m+": date.getMinutes(), //分 - "s+": date.getSeconds(), //秒 - "q+": Math.floor((date.getMonth() + 3) / 3), //季度 - "S": date.getMilliseconds() //毫秒 + "M+": date.getMonth() + 1, + "d+": date.getDate(), + "h+": date.getHours(), + "m+": date.getMinutes(), + "s+": date.getSeconds(), + "q+": Math.floor((date.getMonth() + 3) / 3), + "S": date.getMilliseconds() }; if (/(y+)/.test(fmt)) fmt = fmt.replace(RegExp.$1, (date.getFullYear() + "").substr(4 - RegExp.$1.length));