Add a second record button that includes the debug draw

[NeoTechni (Tanya Myoko)]

The current video recorder omits the debug drawing. I would like a second one that does not.

This would be a low priority thing

[matt (gingerbeardman)]

This would be useful.

A workaround would be to record the screen to capture it.

Also, I believe the gif recording is currently written to only cope with 1-bit colour.

[dwineman (Dan Wineman)]

Thanks for the suggestion! We'll consider it.