Is there any debug mode in lean4game

Stream: lean4

[ZHAO Jiecheng]

I have translated the NNG into Chinese. How can I jump to any point I want? I don't what to fully go though the game again.

[Mario Carneiro]

isn't there a "relaxed mode" that turns off the level gating?

[Mario Carneiro]

there is a toggle on the main page, if you change it from "regular" to "relaxed" then you can go to any world by selecting it in the level selector

[Mario Carneiro]

Also you can just type the URL of a world in, it will not prevent you from loading it even in regular mode

[ZHAO Jiecheng]

Mario Carneiro said:

Also you can just type the URL of a world in, it will not prevent you from loading it even in regular mode

I never clicked that.... :joy: I work so hard to find something like debug in three dashes...