tdhock/animint — pull request #12 by tdhock (2014-06-10 20:52:17+00:00)
Title: Numeric legends

This restores support for numeric legends ---

before this fix: when ggplot2 draws a colourbar, animint draws no guide.

after this fix: when ggplot2 draws a colourbar, animint draws a legend.