| 
						
					 | 
					
						
						
							
						
						24c384c4a8
					 | 
					
						
						
							
							Add operators token to editor themes
						
						
						
						
						
						
					 | 
					
						2022-02-03 22:38:41 +05:30 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						67c81e8cf7
					 | 
					
						
						
							
							Change editor token names to grammar terms
						
						
						
						
						
						
					 | 
					
						2022-02-03 22:30:09 +05:30 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ede856be21
					 | 
					
						
						
							
							Switch to Blueprintjs v4
						
						
						
						
						
						
					 | 
					
						2022-02-03 19:45:38 +05:30 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						81a3563181
					 | 
					
						
						
							
							Improve output wrapping, fix typo in editor themes
						
						
						
						
						
						
					 | 
					
						2022-01-26 01:37:54 +05:30 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c521713b13
					 | 
					
						
						
							
							Build matching color schemes to editor
						
						
						
						
						
						
					 | 
					
						2021-12-17 22:42:17 +05:30 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |