Liang Ding 15f3c12579 close editor after rename or remove the file		2015-10-03 15:00:19 +08:00
..
lib	Update emmet plugin	2015-04-27 10:09:52 +08:00
overwrite/codemirror	upgrade CodeMirror	2015-03-24 17:27:39 +08:00
bottomGroup.js	update license header	2015-01-18 13:59:10 +08:00
dialog.js	about	2015-03-01 19:03:46 +08:00
editors.js	Fix #243	2015-09-17 21:43:49 +08:00
hotkeys.js	Reduce ztree tId usages	2015-04-26 21:58:23 +08:00
menu.js	Fix #239	2015-09-08 09:27:01 +08:00
notification.js	#218 and WebSocket bug fix	2015-09-27 07:36:34 +08:00
playground.js	Fix #243	2015-09-17 21:43:49 +08:00
session.js	close editor after rename or remove the file	2015-10-03 15:00:19 +08:00
shell.js	update license header	2015-01-18 13:59:10 +08:00
tabs.js	Reduce ztree tId usages	2015-04-26 21:58:23 +08:00
tree.js	File rename/remove bug fix	2015-10-02 21:39:36 +08:00
wide.js	File rename/remove bug fix	2015-10-02 21:39:36 +08:00
windows.js	dialog position fixed	2015-01-28 16:21:35 +08:00