Studio: fix theme search

This commit is contained in:
Pieter Vander Vennet 2025-03-28 15:00:50 +01:00
parent 6a3e3ce291
commit 2f2877cf0f
2 changed files with 2 additions and 3 deletions

View file

@ -9,7 +9,6 @@
import RawEditor from "./RawEditor.svelte" import RawEditor from "./RawEditor.svelte"
import { OsmConnection } from "../../Logic/Osm/OsmConnection" import { OsmConnection } from "../../Logic/Osm/OsmConnection"
import DeleteButton from "./DeleteButton.svelte" import DeleteButton from "./DeleteButton.svelte"
import { UIEventSource } from "../../Logic/UIEventSource"
import StudioHashSetter from "./StudioHashSetter" import StudioHashSetter from "./StudioHashSetter"
export let state: EditThemeState export let state: EditThemeState
@ -57,7 +56,7 @@
let hasErrors = messages.map( let hasErrors = messages.map(
(m: ConversionMessage[]) => m.filter((m) => m.level === "error").length (m: ConversionMessage[]) => m.filter((m) => m.level === "error").length
) )
let title = state.getStoreFor(["id"]) let title = state.getStoreFor<string>(["id"])
const wl = window.location const wl = window.location
const baseUrl = wl.protocol + "//" + wl.host + "/theme.html?userlayout=" const baseUrl = wl.protocol + "//" + wl.host + "/theme.html?userlayout="

View file

@ -363,7 +363,7 @@
id="theme-search" id="theme-search"
type="search" type="search"
placeholder="Filter themes by name" placeholder="Filter themes by name"
bind:value={themeFilterTerm} bind:value={$themeFilterTerm}
/> />
</label> </label>
</form> </form>