| 
					
						
							
								
								
								
									
									
									
										lib
									
								
							
						
					
				 | 
				
					
						
							
							Upgrade to CodeMirror 4.8
						
					
				 | 
				2014-11-30 10:24:24 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										
										overwrite/codemirror
									
								
							
						
					
				 | 
				
					
						
							
							Upgrade to CodeMirror 4.8
						
					
				 | 
				2014-11-30 10:24:24 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								bottomGroup.js
							
						
					
				 | 
				
					
						
							
							add file header
						
					
				 | 
				2014-11-12 23:13:14 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								dialog.js
							
						
					
				 | 
				
					
						
							
							preference
						
					
				 | 
				2014-11-17 14:15:28 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								editors.js
							
						
					
				 | 
				
					
						
							
							fixed #178
						
					
				 | 
				2014-12-02 11:09:53 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								hotkeys.js
							
						
					
				 | 
				
					
						
							
							F5 - Build
						
					
				 | 
				2014-11-19 09:39:06 +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
							
						
					
				 | 
				
					
						
							
							add file header
						
					
				 | 
				2014-11-12 23:13:14 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								tree.js
							
						
					
				 | 
				
					
						
							
							Fix #155
						
					
				 | 
				2014-11-28 23:12:38 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								wide.js
							
						
					
				 | 
				
					
						
							
							bottom-window-group 高度修改
						
					
				 | 
				2014-12-01 17:15:54 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								windows.js
							
						
					
				 | 
				
					
						
							
							bottom-window-group 高度修改
						
					
				 | 
				2014-12-01 17:15:54 +08:00 |