Robin-van-der-Linde/MapComplete
1
0
Fork 0
forked from MapComplete/MapComplete
Code Pull requests Activity

Fix type import

Browse source
This commit is contained in:
wjtje 2023-02-15 14:48:15 +01:00
parent 48ef5e37ed
commit 77f5eefb0c
No known key found for this signature in database
GPG key ID: 59423E3298612FF3
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
UI/BigComponents/HiddenThemeList.svelte
View file

@ -4,15 +4,18 @@
import type Loc from "../../Models/Loc" import type Loc from "../../Models/Loc"
import * as themeOverview from "../../assets/generated/theme_overview.json" import * as themeOverview from "../../assets/generated/theme_overview.json"
import { Utils } from "../../Utils" import { Utils } from "../../Utils"
import ThemesList, { type Theme } from "./ThemesList.svelte" import ThemesList from "./ThemesList.svelte"
import Translations from "../i18n/Translations" import Translations from "../i18n/Translations"
import { LayoutInformation } from "../../Models/ThemeConfig/LayoutConfig"
export let search: UIEventSource<string> export let search: UIEventSource<string>
export let state: { osmConnection: OsmConnection; locationControl?: UIEventSource<Loc> } export let state: { osmConnection: OsmConnection; locationControl?: UIEventSource<Loc> }
export let onMainScreen: boolean = true export let onMainScreen: boolean = true
const prefix = "mapcomplete-hidden-theme-" const prefix = "mapcomplete-hidden-theme-"
const hiddenThemes: Theme[] = themeOverview["default"].filter((layout) => layout.hideFromOverview) const hiddenThemes: LayoutInformation[] = themeOverview["default"].filter(
(layout) => layout.hideFromOverview
)
const userPreferences = state.osmConnection.preferencesHandler.preferences const userPreferences = state.osmConnection.preferencesHandler.preferences
const t = Translations.t.general.morescreen const t = Translations.t.general.morescreen