Toggle to show 'info box' from menu

[jueank]

Currently, it's a fixed option inside of the Options dialog whether to show or hide the info box. I would like to switch the info box on or off from time to time, but this is always a bit cumbersome going through the Options dialog. I would prefer if there is a checkbox entry in the menu (that you can reach with the flipper buttons) to do this on the fly. Similarly to the Operator mode, showing more or less technical details of the tables.