| 
					
						
							
								
								
								
									
									
									
										comment
									
								
							
						
					
				 | 
				
					
						
							
							Editor: add toggle/line/block comment commands
						
					
				 | 
				2015-05-27 21:03:25 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										dialog
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.2.1 update
						
					
				 | 
				2015-05-04 22:06:55 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										fold
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.2.1 update
						
					
				 | 
				2015-05-04 22:06:55 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										hint
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.5.0
						
					
				 | 
				2015-07-30 02:40:39 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										lint
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.5.0
						
					
				 | 
				2015-07-30 02:40:39 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										scroll
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.2.1 update
						
					
				 | 
				2015-05-04 22:06:55 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										search
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror 5.5.0
						
					
				 | 
				2015-07-30 02:40:39 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										selection
									
								
							
						
					
				 | 
				
					
						
							
							Editor: highlight active line
						
					
				 | 
				2015-05-27 21:03:25 +03:00 |