| 
									
										
										
										
											2023-06-14 20:39:36 +02:00
										 |  |  | <script lang="ts"> | 
					
						
							|  |  |  |   /** | 
					
						
							|  |  |  |    * Shows an explanation about the given TagsFilter. | 
					
						
							|  |  |  |    */ | 
					
						
							|  |  |  |   import { TagsFilter } from "../../Logic/Tags/TagsFilter" | 
					
						
							|  |  |  |   import FromHtml from "../Base/FromHtml.svelte" | 
					
						
							| 
									
										
										
										
											2023-03-30 04:51:56 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-06-14 20:39:36 +02:00
										 |  |  |   export let tagsFilter: TagsFilter | 
					
						
							|  |  |  |   export let properties: Record<string, string> | undefined = {} | 
					
						
							|  |  |  |   export let linkToWiki: boolean = false | 
					
						
							| 
									
										
										
										
											2023-03-30 04:51:56 +02:00
										 |  |  | </script> | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | {#if tagsFilter !== undefined} | 
					
						
							|  |  |  |   <FromHtml src={tagsFilter.asHumanString(linkToWiki, false, properties)} /> | 
					
						
							|  |  |  | {/if} |