buttonmen-dev/buttonmen — pull request #1151 by AdmiralJota (2014-08-02 03:59:35+00:00)
Title: Random button UI

Continues work on #186.

http://jenkins.buttonweavers.com:8080/job/buttonmen-AdmiralJota/296/

Once the bugs mentioned in #1116 have been resolved, I think this should handle the UI end of things. But this shouldn't be merged until those backend fixes are ready to be merged as well.