Animating indirect manipulation in direct-manipulation editors | IEEE Conference Publication | IEEE Xplore