|
lib
|
fixed #181
|
2014-12-02 15:17:25 +08:00 |
|
overwrite/codemirror
|
autocomplete enhance
|
2014-12-04 17:59:52 +08:00 |
|
bottomGroup.js
|
Fix #177
|
2014-12-03 17:25:06 +08:00 |
|
dialog.js
|
preference
|
2014-11-17 14:15:28 +08:00 |
|
editors.js
|
自动补全为 fun 时，添加 （）
|
2014-12-04 15:15:15 +08:00 |
|
hotkeys.js
|
.
|
2014-12-05 14:43:54 +08:00 |
|
menu.js
|
黑色主题样式修改
|
2014-12-01 16:54:22 +08:00 |
|
notification.js
|
websocket channel enhance
|
2014-11-20 13:59:08 +08:00 |
|
session.js
|
树节点初始化状态 bug 修改
|
2014-11-17 11:37:26 +08:00 |
|
shell.js
|
add file header
|
2014-11-12 23:13:14 +08:00 |
|
tabs.js
|
快捷键关闭当前编辑器 bug 修复 & 关闭编辑器后焦点设置
|
2014-12-04 15:00:04 +08:00 |
|
tree.js
|
在树上添加 Ctrl+R 重命名快捷键
|
2014-12-03 11:40:41 +08:00 |
|
wide.js
|
fixed# 179
|
2014-12-03 11:26:05 +08:00 |
|
windows.js
|
bottom-window-group 高度修改
|
2014-12-01 17:15:54 +08:00 |
28ea0769f6