| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -910,6 +910,7 @@ class TermScreen { | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  } | 
					 | 
					 | 
					 | 
					  } | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  showNotification (text) { | 
					 | 
					 | 
					 | 
					  showNotification (text) { | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					    console.log(`Notification: ${text}`); | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    // TODO: request permission earlier
 | 
					 | 
					 | 
					 | 
					    // TODO: request permission earlier
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    // the requestPermission should be user-triggered; asking upfront seems
 | 
					 | 
					 | 
					 | 
					    // the requestPermission should be user-triggered; asking upfront seems
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    // a little awkward
 | 
					 | 
					 | 
					 | 
					    // a little awkward
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					 | 
					@ -918,6 +919,8 @@ class TermScreen { | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        body: text | 
					 | 
					 | 
					 | 
					        body: text | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					      }); | 
					 | 
					 | 
					 | 
					      }); | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					      notification.addEventListener('click', () => window.focus()); | 
					 | 
					 | 
					 | 
					      notification.addEventListener('click', () => window.focus()); | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					    } else { | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					 | 
					      Notify.show(text); | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    } | 
					 | 
					 | 
					 | 
					    } | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  } | 
					 | 
					 | 
					 | 
					  } | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					 | 
					
  |