Merge pull request #2303 from pietervdvn/RobinLinde-patch-3

Fix missing import
This commit is contained in:
Pieter Vander Vennet 2024-12-04 23:11:54 +00:00 committed by GitHub
commit c80eedca40
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -51,6 +51,7 @@
import EnvelopeOpen from "@babeard/svelte-heroicons/mini/EnvelopeOpen"
import PanoramaxLink from "./PanoramaxLink.svelte"
import { UIEventSource } from "../../Logic/UIEventSource"
import MagnifyingGlassCircle from "@babeard/svelte-heroicons/mini/MagnifyingGlassCircle"
export let state: ThemeViewState
let userdetails = state.osmConnection.userDetails
@ -279,7 +280,10 @@
</Page>
</div>
<a class="flex" href={window.location.protocol + "//" + window.location.host + "/inspector.html"}>
<a
class="flex"
href={window.location.protocol + "//" + window.location.host + "/inspector.html"}
>
<MagnifyingGlassCircle class="mr-2 h-6 w-6" />
<Tr t={Translations.t.inspector.menu} />
</a>