How To Pause The Animation

You can leave some time between two animations to pause the scene:

{
    "type": "add",
    "lines": "console.log(\"Hello World!\")\n",
    "start": "1", 
    "end": "2" 
},
{
    "type": "add",
    "lines": "console.log(\"Hello World!\")\n",
    "start": "3", 
    "end": "4" 
}

In this example, we pause the scene for a second after the first animation is over.

Alternatively, you can use an empty animation to repeat the last frame at the end of the video:

{
    "type": "add",
    "lines": "",
    "start": "9", 
    "end": "10" // desired end of the video 
}