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}
|