Neverball/neverball — pull request #70 by parasti (2014-04-13 05:12:30+00:00)
Title: Implement a config option for GUI theme selection

This patch also adjusts the directory layout to allow multiple themes to
coexist and removes support for "scale" directive in theme descriptions.