yihui/animation — Issue #22: use dev.hold() and dev.flush()
Author: yihui
Created: 2011-10-31 16:05:17+00:00
State: open
Labels: feature

to give better experience of animations