| 
					
						
							
								
								
								
									
									
									
										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
							
						
					
				 | 
				
					
						
							
							#176 🍒
						
					
				 | 
				2014-12-06 21:56:05 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								hotkeys.js
							
						
					
				 | 
				
					
						
							
							菜单功能添加
						
					
				 | 
				2014-12-05 17:59:42 +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
							
						
					
				 | 
				
					
						
							
							菜单功能添加
						
					
				 | 
				2014-12-05 17:59:42 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								wide.js
							
						
					
				 | 
				
					
						
							
							菜单功能添加
						
					
				 | 
				2014-12-05 17:59:42 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								windows.js
							
						
					
				 | 
				
					
						
							
							bottom-window-group 高度修改
						
					
				 | 
				2014-12-01 17:15:54 +08:00 |