You can see this being done in the last GIF on the page, but you don’t really need an extension for this part - when a mouse is pressed in the right area, you store the difference between display mouse coordinates and window coordinates, and then every frame until mouse is released you set the window position to (display mouse position - difference).