Make the `fullscreen' button into a toggle
so that it's readily apparent, from the visual state of the button, whether we're actually in fullscreen mode or not.