statements now always displayed?

[TentativeConvert]

Are statements now intentionally always displayed at the top of the typewriter area?

I only see this on adam-dev.

[joneugster]

Not sure, don't remember if that was an intentional change ever... I guess I label this as bug?

[TentativeConvert]

Yes. I also view it as a bug.

[joneugster]

I believe I remember now: most other games besides Robo wished for this feature. Most particularly ReintroductionToProofs, where the levels are not Prop-valued, but some definitions. In this situation the Typewriter does not give enough info about what the level is about as it only shows the desired type.

So it might be that there needs to be a config or something to disable the statement on a per-game-setting. Or maybe it's enough to distinguish Prop/non-prop levels and hide it in the former case.

[TentativeConvert]

Or maybe it's enough to distinguish Prop/non-prop levels and hide it in the former case.

That sounds like a good idea to me!

Of course, it's not a huge issue if statements are always shown, but I suspect it's a bit confusing for first-time visitors if all relevant information is displayed twice, in different formatting.