|
lib
|
format html
|
2014-10-31 14:26:08 +08:00 |
|
overwrite/codemirror
|
Fix #142
|
2014-11-06 21:46:20 +08:00 |
|
bottomGroup.js
|
Ctrl + C 清空output
|
2014-11-06 15:04:33 +08:00 |
|
dialog.js
|
Fix #67
|
2014-11-01 12:36:42 +08:00 |
|
editors.js
|
Shift-Ctrl-Up & Shift-Ctrl-Down
|
2014-11-10 17:20:18 +08:00 |
|
hotkeys.js
|
bug fixed
|
2014-11-06 15:47:05 +08:00 |
|
menu.js
|
菜单按下去时颜色需要更换，下拉菜单需要更具有立体感
|
2014-11-05 15:09:39 +08:00 |
|
notification.js
|
bottomGroup refactor
|
2014-11-06 11:58:55 +08:00 |
|
session.js
|
.
|
2014-11-02 23:04:43 +08:00 |
|
shell.js
|
Fix #74
|
2014-11-02 15:44:24 +08:00 |
|
tabs.js
|
fix 67
|
2014-11-01 12:05:52 +08:00 |
|
tree.js
|
Fix #138
|
2014-11-07 23:11:37 +08:00 |
|
wide.js
|
.
|
2014-11-07 23:17:56 +08:00 |
|
windows.js
|
resize
|
2014-11-07 10:51:55 +08:00 |
fd69181cce