Gregory authored Mar 14, 2018 and fluzz committed Mar 14, 2018

In the event that one day we make the resolution being changeable in
game, we have to delete all the gui widgets to recreate them later with
the new screen's size.

In order for the GUIs to be automatically recreated at will, the
pointers to those widgets have to be set to NULL.