Multi-line translation text is not displayed correctly

leanprover-community / lean4game

Server to host lean games.

https://adam.math.hhu.de

GNU General Public License v3.0

137 stars 25 forks source link

Multi-line translation text is not displayed correctly #219

Closed OlingCat closed 2 months ago

OlingCat commented 2 months ago

I noticed that multi-line translation text of the NNG Chinese version is not displayed correctly. Only the last line of each paragraph will show. It is may be a bug of lean4game or lean-i18n. QQ截图20240418092820

JiechengZhao commented 2 months ago

Some clues: it works fine with leang4game 237371a and NNG4 https://github.com/leanprover-community/NNG4/pull/61/commits/ac7b07952482187c2c35cf9c8dca760ba37784e3 on my local test. So maybe something is wrong with the production server? Screenshot from 2024-04-18 10-21-49

joneugster commented 2 months ago

Thanks! The live version simply has not been updated yet to the newest NNG-version. Will be live in about 5min.