| 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 lint addon init speedup | 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 |