| 
						
						
							
								
							
						
						
					 | 
					@ -12,9 +12,9 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
							refs.edit.open api.selected_link | 
					 | 
					 | 
							refs.edit.open api.selected_link | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
						get tips | 
					 | 
					 | 
						get tips | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							let tips = [] | 
					 | 
					 | 
							let result = [] | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip | 
					 | 
					 | 
								<.tip | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@click=api.handle_add_link | 
					 | 
					 | 
									@click=api.handle_add_link | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('shift+return').capture.if(!state.loading)=api.handle_add_link | 
					 | 
					 | 
									@hotkey('shift+return').capture.if(!state.loading)=api.handle_add_link | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -32,7 +32,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
										else | 
					 | 
					 | 
										else | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
											<span> "\"{sq.join " "}\"" | 
					 | 
					 | 
											<span> "\"{sq.join " "}\"" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip | 
					 | 
					 | 
								<.tip | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@click=api.handle_click_link | 
					 | 
					 | 
									@click=api.handle_click_link | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('return').force.if(!loading)=api.handle_click_link | 
					 | 
					 | 
									@hotkey('return').force.if(!loading)=api.handle_click_link | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -40,7 +40,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Return" | 
					 | 
					 | 
									<.tip-hotkey> "Return" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Navigate To Link" | 
					 | 
					 | 
									<.tip-content> "Navigate To Link" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip | 
					 | 
					 | 
								<.tip | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@click=handle_edit | 
					 | 
					 | 
									@click=handle_edit | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('shift+backspace').capture.if(!state.loading)=handle_edit | 
					 | 
					 | 
									@hotkey('shift+backspace').capture.if(!state.loading)=handle_edit | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -48,7 +48,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Shift + Backspace" | 
					 | 
					 | 
									<.tip-hotkey> "Shift + Backspace" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Edit Link" | 
					 | 
					 | 
									<.tip-content> "Edit Link" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip | 
					 | 
					 | 
								<.tip | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@click.if(!state.loading)=api.toggle_effective_names | 
					 | 
					 | 
									@click.if(!state.loading)=api.toggle_effective_names | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('tab').capture.if(!state.loading)=api.toggle_effective_names | 
					 | 
					 | 
									@hotkey('tab').capture.if(!state.loading)=api.toggle_effective_names | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -56,7 +56,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Tab" | 
					 | 
					 | 
									<.tip-hotkey> "Tab" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Toggle Effective Names" | 
					 | 
					 | 
									<.tip-content> "Toggle Effective Names" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip | 
					 | 
					 | 
								<.tip | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@click.if(!state.loading)=refs.settings.open | 
					 | 
					 | 
									@click.if(!state.loading)=refs.settings.open | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('shift+tab').capture.if(!state.loading)=refs.settings.open | 
					 | 
					 | 
									@hotkey('shift+tab').capture.if(!state.loading)=refs.settings.open | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -64,7 +64,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Shift + Tab" | 
					 | 
					 | 
									<.tip-hotkey> "Shift + Tab" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Toggle Settings" | 
					 | 
					 | 
									<.tip-content> "Toggle Settings" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip @click.if(!loading)=api.handle_cut> | 
					 | 
					 | 
								<.tip @click.if(!loading)=api.handle_cut> | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									if api.math_result | 
					 | 
					 | 
									if api.math_result | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
										<.tip-hotkey> "Cut (Math, If No Selection)" | 
					 | 
					 | 
										<.tip-hotkey> "Cut (Math, If No Selection)" | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -73,7 +73,7 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
										<.tip-hotkey> "Cut (If No Selection)" | 
					 | 
					 | 
										<.tip-hotkey> "Cut (If No Selection)" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
										<.tip-content> "Cut All Text" | 
					 | 
					 | 
										<.tip-content> "Cut All Text" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip.noclick | 
					 | 
					 | 
								<.tip.noclick | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('down').capture.if(!state.loading)=api.increment_link_selection_index | 
					 | 
					 | 
									@hotkey('down').capture.if(!state.loading)=api.increment_link_selection_index | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									@hotkey('up').capture.if(!state.loading)=api.decrement_link_selection_index | 
					 | 
					 | 
									@hotkey('up').capture.if(!state.loading)=api.decrement_link_selection_index | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					@ -81,12 +81,12 @@ tag app-links | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Up/Down Arrow" | 
					 | 
					 | 
									<.tip-hotkey> "Up/Down Arrow" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Move Selection" | 
					 | 
					 | 
									<.tip-content> "Move Selection" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips.push <> | 
					 | 
					 | 
							result.push <> | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
								<.tip.noclick> | 
					 | 
					 | 
								<.tip.noclick> | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-hotkey> "Paste (If Input Empty)" | 
					 | 
					 | 
									<.tip-hotkey> "Paste (If Input Empty)" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
									<.tip-content> "Instant Search" | 
					 | 
					 | 
									<.tip-content> "Instant Search" | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
							tips | 
					 | 
					 | 
							result | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
						def render | 
					 | 
					 | 
						def render | 
				
			
			
		
	
		
		
			
				
					 | 
					 | 
					
 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					
  |