leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
197 stars 35 forks source link

Level Introduction Auto-Scrolling #230

Open Trequetrum opened 6 months ago

Trequetrum commented 6 months ago

The Introduction text for levels will sometimes automatically scroll down. Thus, you have to scroll back up to continue reading - if the text loses and regains focus then the auto-scrolling may occur again. When a level has a lot of text (**cough** Intro to Logic **cough**), this becomes especially apparent.

This behavior isn't present for the Game and World introductions. My guess is that the scrolling that triggers on Level Completion (Which is nice, as it draws the user's attention to the 'next →' button), is a little bit too aggressive.