fix line breaking
fix typo
added extra arguments for the screen to ShowMenu()
Save persistent data to disk before we suspend on android.

This is needed because we might be killed by suspend. If we're killed,
we'll reload the game, but persistent data (incl preferences) will be
lost - unless we save it.
Merge pull request #265 from CensoredUsername/master

added extra arguments for the screen to ShowMenu()
Merge pull request #262 from vbkaisetsu/fix-doc

fix line breaking
Ignore spurious PyDev warnings.
Fix lint to work with the new style system.
Better error handling for style properties.

When a style property is invalid, we report the name of the
style and the name of the property.
Fix indexed styles in lint.
Run functional testcases w/o human intervention.