Fix line number animation
Fix line number animation

dweintrop/droplet,PencilCode/droplet,sakagg/droplet,dweintrop/droplet,sakagg/droplet,joshlory/droplet,PencilCode/droplet,droplet-editor/droplet,droplet-editor/droplet,joshlory/droplet