| 
					
						
							
								
								
								
									
									
									
										comment
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										dialog
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										edit
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										fold
									
								
							
						
					
				 | 
				
					
						
							
							Update dev dependencies & CodeMirror
						
					
				 | 
				2018-11-03 12:12:02 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										hint
									
								
							
						
					
				 | 
				
					
						
							
							Update vendors
						
					
				 | 
				2018-11-29 20:11:39 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										lint
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										scroll
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										search
									
								
							
						
					
				 | 
				
					
						
							
							Change: modify match-highlighter plugin (#578)
						
					
				 | 
				2018-11-25 07:28:37 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										selection
									
								
							
						
					
				 | 
				
					
						
							
							CodeMirror v5.40.0
						
					
				 | 
				2018-08-25 15:11:03 +03:00 |