phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add todo about setMobile

Browse Source
This commit is contained in:
ran
2024-01-12 23:31:22 +08:00
parent 8c93b3c5b3
commit e15e5af126
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/app.tsx
+1 -1
View File
@@ -20,7 +20,7 @@ function App() {
const params = useParams() const params = useParams()
const gameId = "g/" + params.owner + "/" + params.repo const gameId = "g/" + params.owner + "/" + params.repo
// TODO: // TODO: Modifying setMobile will not change 'layout', and the setMobile function may not exist in the future.
const [mobile, setMobile] = React.useState<boolean>() const [mobile, setMobile] = React.useState<boolean>()
const layout = useAppSelector((state) => state.preferences.layout); const layout = useAppSelector((state) => state.preferences.layout);
const changeLayout = (layout: PreferencesState["layout"]) => dispatch(setLayout(layout)) const changeLayout = (layout: PreferencesState["layout"]) => dispatch(setLayout(layout))