Some hints are duplicated in mobile layout

leanprover-community / lean4game

Server to host lean games.

https://adam.math.hhu.de

GNU General Public License v3.0

198 stars 35 forks source link

Some hints are duplicated in mobile layout #189

Closed TentativeConvert closed 9 months ago

TentativeConvert commented 10 months ago

Compare the following two screenshots from the Robo game. They show the same game state in different layouts. In normal layout, the hints are shown as intended. When switching to mobile layout, one of the hints gets duplicated.

Normal layout:

Mobile layout:

joneugster commented 9 months ago

Can't reproduce anymore. Looks like this has been fixed with the recent changes