diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index 8bf1872..58d0d10 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -1,7 +1,7 @@ { "Tactics": "Taktiken", "Lean Game Server": "Lean-Spielserver", - "
Game rules determine if it is allowed to skip levels and if the games runs checks to only allow unlocked tactics and theorems in proofs.
<1>Note: \"Unlocked\" tactics (or theorems) are determined by two things: The set of minimal tactics needed to solve a level, plus any tactics you unlocked in another level. That means if you unlock <1>simp1> in a level, you can use it henceforth in any level.1>The options are:
": "Die Spielregeln bestimmen ob es erlaubt ist, Levels zu überspringen und ob das Spiel überprüft welche Taktiken und Theoreme freigeschaltet sind und nur diese im Beweis akzeptiert.
<1>Bemerkung: \"Freigeschaltete\" Taktiken (und Theoreme) werden durch zwei Faktoren bestimmt: The Menge der Taktiken die minimal notwending sind um den Level zu lösen und dazu die Menge aller Taktiken, die in einem anderen Level freigeschaltet wurden. Das bedeutet wenn <1>simp1> in einem Level freigeschaltet wird, kann diese Taktik danach in jeglichen Levels verwendet werden.", + "Game rules determine if it is allowed to skip levels and if the games runs checks to only allow unlocked tactics and theorems in proofs.
<1>Note: \"Unlocked\" tactics (or theorems) are determined by two things: The set of minimal tactics needed to solve a level, plus any tactics you unlocked in another level. That means if you unlock <1>simp1> in a level, you can use it henceforth in any level.1>The options are:
": "Die Spielregeln bestimmen ob es erlaubt ist, Levels zu überspringen und ob das Spiel überprüft welche Taktiken und Theoreme freigeschaltet sind und nur diese im Beweis akzeptiert.
<1>Bemerkung: \"Freigeschaltete\" Taktiken (und Theoreme) werden durch zwei Faktoren bestimmt: The Menge der Taktiken die minimal notwendig sind um den Level zu lösen und dazu die Menge aller Taktiken, die in einem anderen Level freigeschaltet wurden. Das bedeutet wenn <1>simp1> in einem Level freigeschaltet wird, kann diese Taktik danach in jeglichen Levels verwendet werden.", "Game Rules": "Spielregeln", "levels": "Levels", "tactics": "Taktiken", diff --git a/client/src/components/inventory.tsx b/client/src/components/inventory.tsx index 66cfe78..aad9336 100644 --- a/client/src/components/inventory.tsx +++ b/client/src/components/inventory.tsx @@ -4,8 +4,8 @@ import '../css/inventory.css' import { FontAwesomeIcon } from '@fortawesome/react-fontawesome' import { faLock, faBan, faCheck, faXmark } from '@fortawesome/free-solid-svg-icons' import { faClipboard } from '@fortawesome/free-regular-svg-icons' -import { useLoadDocQuery, InventoryTile, LevelInfo, InventoryOverview, useLoadInventoryOverviewQuery, useLoadLevelQuery } from '../state/api'; -import { selectDifficulty, selectInventory } from '../state/progress'; +import { useLoadDocQuery, InventoryTile, useLoadInventoryOverviewQuery, useLoadLevelQuery } from '../state/api'; +import { changedInventory, selectDifficulty, selectInventory } from '../state/progress'; import { store } from '../state/store'; import { useSelector } from 'react-redux'; import { useTranslation } from 'react-i18next'; @@ -13,6 +13,7 @@ import { t } from 'i18next'; import { NavButton } from './navigation'; import { LoadingIcon, Markdown } from './utils'; import { GameIdContext } from '../state/context'; +import { useAppDispatch } from '../hooks'; /** Context which manages the inventory */ @@ -21,8 +22,8 @@ const InventoryContext = createContext<{ setTheoremTab: React.Dispatch{docEntry.data?.statement}