| 
					
						
							
								
								
								
									
									
									
										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
							
						
					
				 | 
				
					
						
							
							fix #125
						
					
				 | 
				2014-11-06 14:41:46 +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 #142
						
					
				 | 
				2014-11-06 21:46:20 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								wide.js
							
						
					
				 | 
				
					
						
							
							new dir can remove and create
						
					
				 | 
				2014-11-06 17:55:07 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								windows.js
							
						
					
				 | 
				
					
						
							
							output 换成 div
						
					
				 | 
				2014-10-23 11:50:28 +08:00 |