From 4f8e04a0217e5ceb1e0b22226ad315ac0aabe96a Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 13 Dec 2024 13:01:54 +0000 Subject: [PATCH] Fixed an issue with TigerPython having changed the type of getLanguage and getLanguages (this needs to be reflected in the Typescript types; will send a PR). --- src/store/store.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/store/store.ts b/src/store/store.ts index c45153f1..b88230ab 100644 --- a/src/store/store.ts +++ b/src/store/store.ts @@ -623,7 +623,7 @@ export const useStore = defineStore("app", { i18n.locale = lang; // And also change TigerPython locale -- if Strype locale is not available in TigerPython, we use English instead - const tpLangs = TPyParser.getLanguages(); + const tpLangs = TPyParser.getLanguages as any as string[]; // TODO remove this casting once TigerPython's type for getLanguages is fixed this.tigerPythonLang = (tpLangs.includes(lang)) ? lang : "en"; // Change all frame definition types to update the localised bits