ankidroid/Anki-Android — pull request #117 by hssm (2013-10-22 14:48:23+00:00)
Title: Burying: UI changes, catch up to new commits, and some fixes

This is built on top of the branch in my other pull request. I suspect GitHub can figure it out once you merge the other one. I thought I'd put it up for review while I can since we're running short on time.

Anyway, these changes add the new UI elements for the new burying behaviour, namely the new options in the options groups that replace some older sibling spacing ones, and an unbury button in the "congrats screen".

I also added the new commits from today (yesterday) and fixed a couple broken queries after testing it.