|
|
|
@ -93,7 +93,7 @@ function PlayableLevel({worldId, levelId}) {
|
|
|
|
// TODO: For some reason this is always called twice
|
|
|
|
// TODO: For some reason this is always called twice
|
|
|
|
console.debug('scroll chat')
|
|
|
|
console.debug('scroll chat')
|
|
|
|
chatRef.current!.lastElementChild?.scrollIntoView() //scrollTo(0,0)
|
|
|
|
chatRef.current!.lastElementChild?.scrollIntoView() //scrollTo(0,0)
|
|
|
|
}, [proof])
|
|
|
|
}, [proof, showHiddenHints])
|
|
|
|
|
|
|
|
|
|
|
|
React.useEffect(() => {
|
|
|
|
React.useEffect(() => {
|
|
|
|
if (!commandLineMode) {
|
|
|
|
if (!commandLineMode) {
|
|
|
|
|