Aesthetic improvements to chat widget. Also fixed the ghosting issue in a few areas by using repaint().
Restored "random" button next to "seed" button in mapcontainer widget when in hand-drawn mode.
update sound preferences in ios settings ('sound' means 'sound effects' instead of 'sound enabled')
restored ios project file, updated Game() interface, tweaked arg parsing, updated log writing, minor warnings
On pagenetgame, when window is too small the map/game options becomes a tabbed interface to allow for a few lines of chat to always be visible.
Restored HWForm's min height to 580.
Fixed the 2px alignment issue with the map list and map previews' top edges that unC0Rr was whining about. <3
Prepends an asterisk on maps, styles, and themes that are DLC. (Resolves
issue #515)